Awesome Open Source
Awesome Open Source

The Top 4 Dependent Types Type Theory Proof Assistant Open Source Projects on Github

Categories > Programming Languages > Dependent Types
Categories > Programming Languages > Proof Assistant
Categories > Compilers > Type Theory
1-4 of 4 projects

Related Projects

Dependent Types Projects (138)
Type Theory Projects (100)
Haskell Dependent Types Projects (34)
Programming Language Dependent Types Projects (31)
Dependent Types Type Theory Projects (25)
Idris Dependent Types Projects (23)
Coq Proof Assistant Projects (19)
Programming Language Type Theory Projects (19)
Functional Programming Dependent Types Projects (19)
Agda Type Theory Projects (18)
Haskell Type Theory Projects (16)
Dependent Types Proof Assistant Projects (15)
Agda Dependent Types Projects (15)
Rust Dependent Types Projects (15)
Functional Programming Type Theory Projects (15)
Dependent Types Theorem Proving Projects (12)
Coq Type Theory Projects (12)
Type System Dependent Types Projects (12)
Ocaml Proof Assistant Projects (11)
Coq Dependent Types Projects (11)
Programming Language Dependent Types Type Theory Projects (11)
Compiler Dependent Types Projects (11)
Lambda Calculus Dependent Types Projects (11)
Lambda Calculus Type Theory Projects (11)
Rust Type Theory Projects (11)
Theorem Proving Proof Assistant Projects (10)
Haskell Proof Assistant Projects (10)
Type Theory Proof Assistant Projects (10)
Logic Proof Assistant Projects (10)
Scala Dependent Types Projects (9)
Haskell Programming Language Dependent Types Projects (9)
Ocaml Dependent Types Projects (9)
Verification Dependent Types Projects (8)
Type Theory Theorem Proving Projects (8)
Rust Programming Language Dependent Types Projects (8)
Language Dependent Types Projects (8)
Dependent Types Typechecker Projects (8)
Metaprogramming Dependent Types Projects (7)
Agda Proof Assistant Projects (6)
Rust Programming Language Type Theory Projects (6)
Rust Dependent Types Type Theory Projects (6)
Dependent Types Type Level Programming Projects (6)
Idris Type Theory Projects (6)
Types Type Theory Projects (6)
Tex Dependent Types Projects (6)
Programming Language Proof Assistant Projects (5)
Verification Dependent Types Theorem Proving Projects (5)
Dependent Types Theorem Prover Projects (5)
Agda Dependent Types Type Theory Projects (5)
Scala Type Theory Projects (5)
Formal Verification Proof Assistant Projects (5)
Verification Type Theory Projects (5)
Rust Programming Language Dependent Types Type Theory Projects (5)
Rust Dependent Types Typechecker Projects (5)
Haskell Dependent Types Type Level Programming Projects (5)
Type Theory Univalent Foundations Projects (5)
Type System Dependent Types Typechecker Projects (5)
Dependent Types Type Theory Theorem Proving Projects (5)
Functional Programming Idris Dependent Types Projects (5)
Python Proof Assistant Projects (5)
Data Structures Dependent Types Projects (5)
Programming Language Dependent Types Proof Assistant Projects (4)
Haskell Programming Language Type Theory Projects (4)
Haskell Dependent Types Type Theory Projects (4)
Haskell Dependent Types Proof Assistant Projects (4)
Proof Assistant Cubical Type Theory Projects (4)
Logic Dependent Types Projects (4)
Coq Theorem Proving Proof Assistant Projects (4)
Dependent Types Theorem Proving Proof Assistant Projects (4)
Javascript Type Theory Projects (4)
Functional Programming Lambda Calculus Type Theory Projects (4)
Verification Lean Dependent Types Projects (4)
Verification Dependent Types Type Theory Projects (4)
Verification Dependent Types Type Theory Theorem Proving Projects (4)
Verification Type Theory Theorem Proving Projects (4)
Idris Dependent Types Type Theory Projects (4)
Rust Type System Dependent Types Projects (4)
Rust Type System Dependent Types Typechecker Projects (4)
Rust Compiler Dependent Types Projects (4)
Compiler Programming Language Dependent Types Projects (4)
Book Type Theory Projects (4)
Haskell Dependent Types Ghc Projects (4)
Haskell Dependent Types Ghc Type Level Programming Projects (4)
Dependent Types Ghc Projects (4)
Dependent Types Ghc Type Level Programming Projects (4)
Haskell Dependent Types Juvix Projects (4)
Dependent Types Juvix Projects (4)
Category Theory Types Projects (2)