Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Ltupatternfactory | 958 | 10 months ago | 10 | apache-2.0 | Haskell | |||||
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns | ||||||||||
Category Theory | 720 | 6 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 | 7 months ago | 13 | February 10, 2020 | 2 | epl-1.0 | Clojure | |||
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more. | ||||||||||
Category Theory For Programmers | 381 | 6 years ago | 2 | CSS | ||||||
e-book version of Bartosz Milewski's Category Theory for Programmers | ||||||||||
Scala_typeclassopedia | 374 | 7 months ago | 31 | cc-by-sa-4.0 | Scala | |||||
Abstractions from Category theory with simple description & implementation, links to further resources. | ||||||||||
Fp Resources | 350 | 4 years ago | ||||||||
Functional programming great resources | ||||||||||
Bastet | 212 | 30 | 32 | a year ago | 22 | February 27, 2020 | 1 | bsd-3-clause | OCaml | |
A ReasonML/Ocaml library for category theory and abstract algebra | ||||||||||
Functional Examples | 179 | a year ago | 1 | mit | JavaScript | |||||
Examples with Functional JavaScript, following Professor Frisby's course |