Real World Idris
Malfunction backend for Idris with a FFI to OCaml
| 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 | ||||||||||
Alternatives To Real World IdrisSelect To Compare
Alternative Project Comparisons
Popular Tex Projects
Popular Monad Projects
Popular Text Processing Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Tex
Ocaml
Monad
Haskell Library
Dependent Types