Greg Pfeil

emacs-color-theme-solarized. Emacs highlighting using Ethan Schoonover’s Solarized color scheme

recursion-scheme-talk. A talk on using recursion schemes in FP.

CL-LLVM. CFFI bindings for LLVM

quid-pro-quo. A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

yaya. Yet another … yet another recursion scheme library for Haskell

external-program. A portable Common Lisp library for running external programs from within Lisp.

dada. A total recursion scheme library for Dhall

caterwaul. Wailing into the primordial ooze of category theory

turtles. Generalized recursion schemes and traversals for Scala, using Cats.

YACC-is-dead. YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)

dualizer. Delete half (minus ε) of your Haskell code!

Iaia. A recursion scheme library for Idris.

dredd. Automatic type class law checking.

method-combination-utilities. Various utilities to make use and creation of custom method combinations easier.

category-parametric-talk. Talks on category-parametric programming.

haskerwaul. Category theory concepts in type classes and instances.

compiling-anything-to-categories. a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

project-manager. Home Manager, but for repos.

Kilns. An experimental programming language based on the kell calculus.

Idris-CPDT. A translation of Certified Programming with Dependent Types to Idris.

dhall-dhall. Implementation of Dhall in Dhall

LOOM. Lisp: Object-Oriented and Modular

cheshire. This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.

no-recursion. A GHC plugin to remove support for recursion

cl-google-charts. Common Lisp API to Google Charts

cl-dispatch. CFFI bindings to Grand Central Dispatch.

recursion-schemes-cookbook. A friendly guide for leveraging the power of recursion schemes in real-world applications

cl-glpk. Common Lisp interface to GLPK (GNU Linear Programming Kit). This is a fork of Kai Kaminski’s original (http://common-lisp.net/project/cl-glpk/).

cl-oauth. OAuth for Common Lisp

sellout.github.com. my coding blog

cl-gravatar. Common Lisp interface to access Gravatar images and profiles.

dhall-path. Well-typed path manipulation for Dhall

http-response-handler. Generates conditions from HTTP error responses.

Opt-Check. Keep track of optimizations and easily benchmark them.

math-extensions. A collection of new functions as well as integration of additional number systems (E.G., quaternion and surreal numbers) with the existing system.

dotfiles. Sellout’s general configuration

beautiful-failures. a Haskell library that helps you keep your users as happy as possible when things go wrong

nix-package.el. A package.el-like for managing Nix packages.

sparklines. A Common Lisp library for generating sparkline images. The current state is just me persisting old stuff. Probably not worth using in its current state.

non-consing-variants. A tiny utility library for Common Lisp to make it easy to switch between consing and non-consing functions for optimization.

computational-model-zoo. Mostly a wiki for keeping track of various computational models and their relationships.

partial-isomorphisms. A Common Lisp library for defining reversible functions.

cl-fitbit. Common Lisp interface to the fitbit API.

knots. miscellaneous knot-related things.

autodocodec-dhall. Autodocodec support for Dhall files

dog. compositional document generator

hall. The corridor connecting Dhall and Haskell

dhall-numerics. Some algebraic numeric types and operations.

straw. Compiling to SNARKs

dependent-dhall-experiments. Dhall