Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Dependent Types Open Source Projects
Open source projects categorized as Dependent Types
Categories
>
Programming Languages
>
Dependent Types
Edit Category
coq/coq
⭐
4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dependent packages
0
total releases
0
most recent commit
about 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
FStarLang/FStar
⭐
2,522
A Proof-oriented Programming Language
dependent packages
0
total releases
0
most recent commit
about 2 years ago
idris-lang/Idris2
⭐
2,320
A purely functional programming language with first class types
dependent packages
0
total releases
0
most recent commit
about 2 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
magmide/magmide
⭐
778
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Ben-G/Validated
⭐
604
A Swift μ-Library for Somewhat Dependent Types
dependent packages
0
total releases
0
most recent commit
almost 9 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
eashanhatti/peridot
⭐
388
A fast functional language based on two level type theory
dependent packages
0
total releases
0
most recent commit
over 3 years ago
Get A Weekly Email With Trending Dependent Types Projects
No Spam. Unsubscribe easily at any time.
Dependent Types
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
