Popular repositories Loading

1. pts pts Public

   Interpreter for functional pure type systems.

   Haskell 21 7

2. gll gll Public

   Java 5 3

3. pandoc-lit pandoc-lit Public

   Connecting pandoc to lhs2tex for literate programming.

   Haskell 5 3

4. stlc.scala stlc.scala Public

   Modular implementation of simply-typed lambda calculi in Scala.

   Scala 3

5. pl-impl pl-impl Public

   Scala 3

6. lift.pts lift.pts Public

   Constructive lift monad in System Fω

   Shell 3