Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Real World Idris | 25 | 5 years ago | bsd-3-clause | TeX | ||||||
Malfunction backend for Idris with a FFI to OCaml | ||||||||||
Cain | 23 | 5 years ago | 2 | TeX | ||||||
Category theory applied to functional programming (undergraduate project) | ||||||||||
Master Thesis | 20 | 3 years ago | TeX | |||||||
Selective Functors & Probabilistic Programming | ||||||||||
Hse Haskell Course Src | 13 | 2 years ago | TeX | |||||||
Grammata | 7 | 7 years ago | bsd-2-clause | Haskell | ||||||
Well-typed system for generating documents in multiple formats | ||||||||||
Monad Transformers | 6 | 7 years ago | TeX | |||||||
Talk on monad transformers |