Ttyped
A simple dependently typed language based on the Calculus of Constructions.
| 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 λΠ | ||||||||||
| Path | 79 | 4 years ago | 74 | bsd-3-clause | Haskell | |||||
| A lambda calculus to explore type-directed program synthesis. | ||||||||||
| Minitt Rs | 68 |  | 4 | 5 | 4 years ago | 7 | September 21, 2020 | 7 | apache-2.0 | Rust |
| Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust | ||||||||||
| Sasylf | 67 | 5 months ago | 7 | Java | ||||||
| Educational Proof Assistant for Type Theory | ||||||||||
| Type Theory Compiler | 38 | 5 years ago | Haskell | |||||||
| Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR. | ||||||||||
| Lplzoo | 31 | 3 years ago | 1 | gpl-3.0 | Haskell | |||||
| Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck | ||||||||||
| Types And Programming Languages | 27 | 4 years ago | mit | Rust | ||||||
| Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras! | ||||||||||
| Type Theory | 27 | 10 months ago | Rust | |||||||
| Typed λ-calculus in Rust | ||||||||||
| Linearml | 22 | 7 years ago | gpl-3.0 | OCaml | ||||||
| A simple implementation of linear type theory | ||||||||||
| Tt In Cagda | 17 | 4 years ago | Agda | |||||||
| Simply typed lambda calculus in cubical agda | ||||||||||
Alternatives To TtypedSelect To Compare
Alternative Project Comparisons
Popular Calculus Projects
Popular Type Theory Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Scheme
Calculus
Type Theory