Popular repositories Loading

1. extensible-effects extensible-effects Public

   Extensible Effects: An Alternative to Monad Transformers

   Haskell 174 25

2. ProPL-meetup ProPL-meetup Public

   Github repository associated with Toronto Probabilistic Programming meetup

   Jupyter Notebook 15 8

3. TTFI TTFI Public

   typed tagless final interpreters

   Scala 13 2

4. liboleg liboleg Public

   An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/ftp/

   Haskell 9 1

5. scalable-effects scalable-effects Public

   scala port of extensible-effects (WIP)

   Scala 7

6. lambdapi lambdapi Public

   A Tutorial Implementation of a Dependently Typed Lambda Calculus

   Haskell 4