Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Differentiable Idris | 39 | 5 years ago | 1 | apache-2.0 | Idris | |||||
dependent types meets deep learning | ||||||||||
Monad Liberator | 10 | 2 years ago | other | Scala | ||||||
Monad Liberator is a library for mixing multiple monad types in Scala for comprehensions |