Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Plt | 5,018 | 9 months ago | CSS | |||||||
Programming Language Theory λΠ | ||||||||||
Fp Core.rs | 644 | 4 years ago | 25 | mit | Rust | |||||
A library for functional programming in Rust | ||||||||||
Category Theory Programmers | 452 | 6 years ago | 2 | mit | ||||||
Category theory in the context of (functional) programming | ||||||||||
Mirth | 426 | 3 months ago | 2 | 0bsd | C | |||||
Compiler for the Mirth programming language. | ||||||||||
Fp Resources | 350 | 4 years ago | ||||||||
Functional programming great resources | ||||||||||
Typedefs | 343 | 3 years ago | 54 | agpl-3.0 | Idris | |||||
Programming language agnostic type construction language based on polynomials. | ||||||||||
Foundational Knowledge For Programmers | 112 | 3 years ago | ||||||||
List of resources about foundational knowledge for programmers (supposed to last a few decades) | ||||||||||
Advanced Functional Resources | 24 | 2 years ago | ||||||||
Cain | 23 | 5 years ago | 2 | TeX | ||||||
Category theory applied to functional programming (undergraduate project) | ||||||||||
Cs43 | 22 | 4 years ago | Haskell | |||||||
Course materials for Stanford's CS43: Functional Programming Paradigms |