Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Milewski Ctfp Pdf | 10,547 | 4 months ago | 53 | other | TeX | |||||
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source | ||||||||||
Plt | 5,018 | 9 months ago | CSS | |||||||
Programming Language Theory λΠ | ||||||||||
Ltupatternfactory | 958 | 8 months ago | 10 | apache-2.0 | Haskell | |||||
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns | ||||||||||
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 | ||||||||||
Category Theory Programmers | 452 | 6 years ago | 2 | mit | ||||||
Category theory in the context of (functional) programming | ||||||||||
Zio Prelude | 430 | 44 | 3 months ago | 18 | September 17, 2023 | 98 | apache-2.0 | Scala | ||
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration | ||||||||||
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. | ||||||||||
Fp Resources | 350 | 4 years ago | ||||||||
Functional programming great resources | ||||||||||
Cql | 285 | 24 days ago | 38 | Java | ||||||
Categorical Query Language IDE |