8 open source projects by sellout

Emacs highlighting using Ethan Schoonover’s Solarized color scheme

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

Delete half (minus ε) of your Haskell code!

An experimental programming language based on the kell calculus.

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

Talks on category-parametric programming.

Category theory concepts in type classes and instances.

A recursion scheme library for Idris.