Popular repositories Loading

1. SimpleFP-v2 SimpleFP-v2 Public

   A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

   Haskell 109 5

2. so-you-want-to-write-a-type-checker so-you-want-to-write-a-type-checker Public

   JavaScript 56

3. SimpleFP SimpleFP Public

   A series of implementations of a simple functional programming language.

   Haskell 30

4. labrys labrys Public

   A toolkit for web autonomy.

   Python 21

5. hackers_poster hackers_poster Public

   17 2

6. Haskell-Chart-Parser Haskell-Chart-Parser Public

   Haskell 16 1