Pinned

1. sixten sixten Public

   Functional programming with fewer indirections

   Haskell 751 26

2. sixty sixty Public

   Dependent type checker using normalisation by evaluation

   Haskell 235 7

3. Earley Earley Public

   Parsing all context-free grammars using Earley's algorithm in Haskell.

   Haskell 361 24

4. rock rock Public

   Build system

   Haskell 113 5

5. Bidirectional Bidirectional Public

   Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

   Haskell 127 11

6. haskell-to-elm/haskell-to-elm haskell-to-elm/haskell-to-elm Public

   Generate Elm types, encoders, and decoders from Haskell types

   Haskell 61 8