Typefunc
Resources for type theory, functional programming, etc.
| 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 λΠ | ||||||||||
| Agda | 2,281 | 69 | 3 months ago | 40 | November 30, 2023 | 1,016 | other | Haskell | ||
| Agda is a dependently typed programming language / interactive theorem prover. | ||||||||||
| Learn Tt | 1,307 | 4 years ago | 4 | |||||||
| A collection of resources for learning type theory and type theory adjacent fields. | ||||||||||
| Typedefs | 343 | 3 years ago | 54 | agpl-3.0 | Idris | |||||
| Programming language agnostic type construction language based on polynomials. | ||||||||||
| Typefunc | 182 | 3 years ago | ||||||||
| Resources for type theory, functional programming, etc. | ||||||||||
| Path_semantics | 156 | 3 months ago | 27 | mit | Rust | |||||
| A research project in path semantics, a re-interpretation of functions for expressing mathematics | ||||||||||
| Foundational Knowledge For Programmers | 112 | 3 years ago | ||||||||
| List of resources about foundational knowledge for programmers (supposed to last a few decades) | ||||||||||
| Intuitionistic | 9 | 9 years ago | apache-2.0 | OCaml | ||||||
| Automatically exported from code.google.com/p/intuitionistic | ||||||||||
| Awesome Agda Programming | 7 | 4 years ago | 1 | mit | ||||||
| Awesome Agda Programming | ||||||||||
Alternatives To TypefuncSelect To Compare
Alternative Project Comparisons
Popular Programming Projects
Popular Type Theory Projects
Popular Learning Resources Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Programming
Functional Programming
Type Theory