Awesome Open Source
Awesome Open Source
Combined Topics
type-theory x

The Top 97 Type Theory Open Source Projects on Github

Categories > Compilers > Type Theory
1-97 of 97 projects

Related Projects

Dependent Types Type Theory Projects (23)
Programming Language Type Theory Projects (19)
Agda Type Theory Projects (18)
Haskell Type Theory Projects (16)
Functional Programming Type Theory Projects (14)
Tex Type Theory Projects (12)
Lambda Calculus Type Theory Projects (11)
Programming Language Dependent Types Type Theory Projects (11)
Coq Type Theory Projects (11)
Rust Type Theory Projects (11)
Type Theory Proof Assistant Projects (10)
Type Theory Theorem Proving Projects (8)
Rust Programming Language Type Theory Projects (6)
Rust Dependent Types Type Theory Projects (6)
Types Type Theory Projects (6)
Idris Type Theory Projects (6)
Agda Dependent Types Type Theory Projects (5)
Type Theory Univalent Foundations Projects (5)
Rust Programming Language Dependent Types Type Theory Projects (5)
Standard Ml Type Theory Projects (5)
Scala Type Theory Projects (5)
Javascript Type Theory Projects (4)
Functional Programming Lambda Calculus Type Theory Projects (4)
Verification Type Theory Projects (4)
Haskell Programming Language Type Theory Projects (4)
Haskell Dependent Types Type Theory Projects (4)
Ocaml Type Theory Projects (4)
Dependent Types Type Theory Proof Assistant Projects (4)
Idris Dependent Types Type Theory Projects (4)
Reflection Type Theory Projects (4)
Type Theory Formalization Projects (4)
Dependent Types Type Theory Theorem Proving Projects (4)
Book Type Theory Projects (4)
Type Theory Agda Library Projects (4)
Mathematics Type Theory Projects (4)
Logic Type Theory Projects (3)
Javascript Functional Programming Type Theory Projects (3)
Verification Dependent Types Type Theory Projects (3)
Verification Dependent Types Type Theory Theorem Proving Projects (3)
Verification Type Theory Theorem Proving Projects (3)
Haskell Programming Language Dependent Types Type Theory Projects (3)
Haskell Type Theory Proof Assistant Projects (3)
Compiler Type Theory Projects (3)
Category Theory Types Projects (2)