Greg Pfeil's Projects
Building Haskell libraries across many GHC versions
Floobits plugin for emacs
Work with Git forges from the comfort of Magit
free monads
A wrapper around GHC lib that attempts to improve clarity and safety.
Category theory concepts in type classes and instances.
Example use of Heroku Common Lisp Buildpack
Manage a user environment using Nix [maintainer=@rycee]
Generates conditions from HTTP error responses.
Watch side interface for httpebble
A recursion scheme library for Idris.
A translation of Certified Programming with Dependent Types to Idris.
A Dependently Typed Functional Programming Language
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Khats, cats on Higher-Kinded amphets
An experimental programming language based on the kell calculus.
miscellaneous knot-related things.
Rust-language assets for Zcash
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Lisp: Object-Oriented and Modular
It's Magit! A Git Porcelain inside Emacs.
System for semi-automatically documenting Common Lisp packages.
A collection of new functions as well as integration of additional number systems (E.G., quaternion and surreal numbers) with the existing system.
Template files for mavsim, the simulator developed in Small Unmanned Aircraft: Theory and Practice
Various utilities to make use and creation of custom method combinations easier.
Common Lisp library to calculate a naive Levenshtein-like edit distance for s-expressions
A new(?) and simple kind of literate programming system.