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 |