Popular repositories Loading

1. free-proving free-proving Public

   Resources for "One Monad to Prove Them All"

   Coq 29 2

2. free-theorems free-theorems Public

   Haskell 9 1

3. Curry-Lenses Curry-Lenses Public

   Master's thesis

   Haskell 8

4. DTDatastructures DTDatastructures Public

   Reimplementations of functional data structures (mostly as presented by Okasaki) in a dependently typed language

   Agda 4

5. ProbabilisticProgramming ProbabilisticProgramming Public

   TeX 3

6. heroku-buildpack-haskell heroku-buildpack-haskell Public

   Forked from puffnfresh/heroku-buildpack-haskell

   Heroku buildpack for Haskell

   Shell 2