Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Type Theory Open Source Projects
Open source projects categorized as Type Theory
Categories
>
Compilers
>
Type Theory
Edit Category
steshaw/plt
⭐
5,018
Programming Language Theory λΠ
dependent packages
0
total releases
0
most recent commit
over 2 years ago
HigherOrderCO/Kind
⭐
3,354
A next-gen functional language
dependent packages
0
total releases
0
most recent commit
over 2 years ago
sdiehl/write-you-a-haskell
⭐
2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
dependent packages
0
total releases
0
most recent commit
over 6 years ago
agda/agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
leanprover/lean3
⭐
2,131
Lean Theorem Prover
dependent packages
0
total releases
0
most recent commit
over 2 years ago
jozefg/learn-tt
⭐
1,307
A collection of resources for learning type theory and type theory adjacent fields.
dependent packages
0
total releases
0
most recent commit
over 5 years ago
HoTT/Coq-HoTT
⭐
1,201
A Coq library for Homotopy Type Theory
dependent packages
0
total releases
0
most recent commit
about 2 years ago
michaelt/martin-lof
⭐
670
papers of Per Martin Löf
dependent packages
0
total releases
0
most recent commit
about 3 years ago
mortberg/cubicaltt
⭐
547
Experimental implementation of Cubical Type Theory
dependent packages
0
total releases
0
most recent commit
over 2 years ago
pikelet-lang/pikelet
⭐
507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
dependent packages
0
total releases
0
most recent commit
almost 5 years ago
Get A Weekly Email With Trending Type Theory Projects
No Spam. Unsubscribe easily at any time.
Type Theory
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.