Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 11 Calculus Type Theory Open Source Projects

Open source projects categorized as Calculus Type Theory
Categories > Mathematics > Calculus
Categories > Compilers > Type Theory
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Path ⭐ 79
A lambda calculus to explore type-directed program synthesis.
most recent commit 4 years ago
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7most recent commit 4 years agocargo minitt-util} Downloads
Sasylf ⭐ 67
Educational Proof Assistant for Type Theory
most recent commit 4 months ago
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
most recent commit 5 years ago
Lplzoo ⭐ 31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
most recent commit 3 years ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 4 years ago
Type Theory ⭐ 27
Typed λ-calculus in Rust
most recent commit 10 months ago
Linearml ⭐ 22
A simple implementation of linear type theory
most recent commit 7 years ago
Tt In Cagda ⭐ 17
Simply typed lambda calculus in cubical agda
most recent commit 4 years ago
Ttyped ⭐ 6
A simple dependently typed language based on the Calculus of Constructions.
most recent commit 4 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.