Agda Categories
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Ltupatternfactory | 958 | 8 months ago | 10 | apache-2.0 | Haskell | |||||
| Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns | ||||||||||
| Category Theory | 720 | 3 months ago | 4 | bsd-3-clause | Coq | |||||
| An axiom-free formalization of category theory in Coq for personal study and practical work | ||||||||||
| Fp Core.rs | 644 | 4 years ago | 25 | mit | Rust | |||||
| A library for functional programming in Rust | ||||||||||
| Bow | 643 | 4 | 2 years ago | 9 | April 30, 2020 | 12 | other | Swift | ||
| 🏹 Bow is a cross-platform library for Typed Functional Programming in Swift | ||||||||||
| Fluokitten | 450 | 5 months ago | 13 | February 10, 2020 | 2 | epl-1.0 | Clojure | |||
| Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more. | ||||||||||
| Scala_typeclassopedia | 374 | 5 months ago | 31 | cc-by-sa-4.0 | Scala | |||||
| Abstractions from Category theory with simple description & implementation, links to further resources. | ||||||||||
| Agda Categories | 341 | 3 months ago | 54 | mit | Agda | |||||
| A new Categories library for Agda | ||||||||||
| Functional Examples | 179 | 10 months ago | 1 | mit | JavaScript | |||||
| Examples with Functional JavaScript, following Professor Frisby's course | ||||||||||
| Neurocat | 130 | 6 years ago | 1 | apache-2.0 | Scala | |||||
| From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types | ||||||||||
| Tutorial Cat | 104 | 3 years ago | apache-2.0 | Scala | ||||||
| Workshop Pragmatic Introduction to Category Theory | ||||||||||
Alternatives To Agda CategoriesSelect To Compare
Alternative Project Comparisons
Popular Functor Projects
Popular Category Theory Projects
Popular Learning Resources Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Functor
Category Theory