Greg Pfeil's repositories
quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
YACC-is-dead
YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)
compiling-anything-to-categories
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
recursion-schemes-cookbook
A friendly guide for leveraging the power of recursion schemes in real-world applications
cl-gravatar
Common Lisp interface to access Gravatar images and profiles.
beautiful-failures
a Haskell library that helps you keep your users as happy as possible when things go wrong
dhall-numerics
Some algebraic numeric types and operations.
polydactyl
A reimplementation of Typelevel’s Cats taking advantage of kind polymorphism.
qualified-constraints
A different way of thinking about newtypes.
cascading-dir-locals
Emacs: Apply all (!) .dir-locals.el from root to current directory.
categories
categories from category-extras
devtools
Development tools for SlamData
dhall-haskell
A configuration language guaranteed to terminate
floobits-emacs
Floobits plugin for emacs
Idris-dev
A Dependently Typed Functional Programming Language
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
mavsim_template_files
Template files for mavsim, the simulator developed in Small Unmanned Aircraft: Theory and Practice
nix-darwin
nix modules for darwin
projectile
Project Interaction Library for Emacs
zcash-graphs
A collection of scripts for collecting and graphing data about the Zcash chain