Pinned Loading

1. sixten sixten Public

   Functional programming with fewer indirections

   Haskell 759 26

2. sixty sixty Public

   Dependent type checker using normalisation by evaluation

   Haskell 254 7

3. Earley Earley Public

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

   Haskell 366 24

4. rock rock Public

   Build system

   Haskell 122 7

5. Bidirectional Bidirectional Public

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

   Haskell 129 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