Pinned Loading

1. sixten sixten Public

   Functional programming with fewer indirections

   Haskell 766 25

2. sixty sixty Public

   Dependent type checker using normalisation by evaluation

   Haskell 264 7

3. Earley Earley Public

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

   Haskell 370 24

4. rock rock Public

   Build system

   Haskell 124 9

5. Bidirectional Bidirectional Public

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

   Haskell 131 12

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