Joshua Grosso's repositories
coq-alpha-pearl
Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).
agda-stdlib
The Agda standard library
brittany
haskell source code formatter
derivative-parsing
Derivative regex parser
deriving
Class instances for Coq inductive types with little boilerplate
dummy-repo-123
Empty Repository for various Git testing purposes
go-tutorial
Just playing around with http://howistart.org/posts/go/1/
hackett
WIP implementation of a Haskell-like Lisp in Racket
monty-hall
Exploration of the Monty Hall Problem.
nodegit
Native Node bindings to Git.
nodegit-lfs
LFS for NodeGit
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
plfa-solutions
My personal solutions and experiments for /Programming Language Foundations in Agda/.
polysemy
:gemini: higher-order, no-boilerplate monads
ps-tanks
Experimental clone of the time-honored Tanks game, in PureScript.
selenium-3.x.x-docs
A browser automation framework and ecosystem.
shapehs
A shape-based console drawing library in Haskell.