Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Recursion_schemes | 60 | 6 years ago | 2 | bsd-3-clause | Idris | |||||
Recursion schemes for Idris | ||||||||||
Cis 194 Spring 2017 | 13 | 6 years ago | mit | Haskell | ||||||
A modified version of the University of Pennsylvania's CIS194 | ||||||||||
Practical Droste | 6 | 5 years ago | Scala | |||||||