Pinned

1. ddc ddc Public

   The Disco Discus Compiler

   Haskell 174 19

2. salt salt Public

   The compilation target that functional programmers always wanted.

   Haskell 62 3

3. shimmer shimmer Public

   The Reflective Lambda Machine

   Haskell 8 1

4. iron iron Public

   Coq formalizations of functional languages.

   Coq 139 10

5. inchworm inchworm Public

   Simple parser combinators for lexical analysis.

   Haskell 5

6. buildbox buildbox Public

   Rehackable components for writing buildbots and test harnesses.

   Haskell 1 2