Awesome Open Source
Awesome Open Source
Combined Topics
dependent-types x

The Top 144 Dependent Types Open Source Projects on Github

Categories > Programming Languages > Dependent Types
1-100 of 144 projects

Related Projects

Haskell Dependent Types Projects (34)
Programming Language Dependent Types Projects (31)
Dependent Types Type Theory Projects (25)
Idris Dependent Types Projects (23)
Functional Programming Dependent Types Projects (19)
Dependent Types Proof Assistant Projects (15)
Agda Dependent Types Projects (15)
Rust Dependent Types Projects (15)
Dependent Types Theorem Proving Projects (12)
Coq Dependent Types Projects (12)
Lambda Calculus Dependent Types Projects (12)
Type System Dependent Types Projects (12)
Programming Language Dependent Types Type Theory Projects (11)
Compiler Dependent Types Projects (11)
Ocaml Dependent Types Projects (10)
Scala Dependent Types Projects (10)
Haskell Programming Language Dependent Types Projects (9)
Verification Dependent Types Projects (8)
Rust Programming Language Dependent Types Projects (8)
Language Dependent Types Projects (8)
Dependent Types Typechecker Projects (8)
Metaprogramming Dependent Types Projects (7)
Rust Dependent Types Type Theory Projects (6)
Dependent Types Type Level Programming Projects (6)
Tex Dependent Types Projects (6)
Verification Dependent Types Theorem Proving Projects (5)
Dependent Types Theorem Prover Projects (5)
Agda Dependent Types 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 System Dependent Types Typechecker Projects (5)
Dependent Types Type Theory Theorem Proving Projects (5)
Logic Dependent Types Projects (5)
Functional Programming Idris Dependent Types Projects (5)
Data Structures Dependent Types Projects (5)
Dependent Types Theorem Proving Proof Assistant Projects (4)
Programming Language Dependent Types Proof Assistant Projects (4)
Verification Lean Dependent Types Projects (4)
Verification Dependent Types Type Theory Projects (4)
Verification Dependent Types Type Theory Theorem Proving Projects (4)
Haskell Dependent Types Type Theory Projects (4)
Haskell Dependent Types Proof Assistant Projects (4)
Haskell Dependent Types Juvix Projects (4)
Dependent Types Juvix Projects (4)
Dependent Types Type Theory Proof Assistant 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)
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)
Python Dependent Types Projects (4)
Interpreter Dependent Types Projects (4)