Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
My personal configuration files.
Processing HTTP Content-Type and Accept headers
Define your language under an abstracted functor and get different type systems as a result: an Agda exercise
A showcase of interesting code and proof developments in Cedille
🍻 Default formulae for the missing package manager for macOS
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Optics for Cedille.
A compositional functional programming language.
Extra transducers and reducing fns for Clojure(script)
QuickCheck for Cabal
A Redex implementation of the Kihi programming language.
Machine management for a container-centric world
Simple mandelbrot renderer for Haskell workshop
Accept header branching for the Snap web framework
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
A Textmate Bundle for the Grace programming language
Graceless semantics in PLT Redex.
CatsEye pattern maker for the web
An Agda encoding of a language with recursive types.
Cats eye pattern maker in Eclipse
An Emacs mode for the Grace programming language
An implementation of the Graceless language in Spoofax
Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to elimina…
Default channel file for Package Control. Follow the directions at:
Self-hosting compiler for the Grace programming language
Vim configuration for the Grace programming language
A web editor for Grace