Topic · dependent-types

dependent-types

Tracked open-source repos tagged dependent-types, sorted by stars.

Repos

6

Total stars

19,237

Avg. stars

3,206

Share

0.00%

Topics that frequently appear alongside dependent-types on the same repo.

Recent risers

Repos created in the last 90 days, tagged dependent-types.

No new repos tagged with this topic in the last 90 days.

#1
rocq ↗@rocq-proverOCaml
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
★ 5,562+4Star change over the last 7 days
#2
Kind ↗@HigherOrderCOHaskell
A modern proof language
★ 3,763-1Star change over the last 7 days
#3
FStar ↗@FStarLangF*
A Proof-oriented Programming Language
★ 3,103+4Star change over the last 7 days
#4
Idris2 ↗@idris-langIdris
A purely functional programming language with first class types
★ 3,052+3Star change over the last 7 days
#5
agda ↗@agdaHaskell
Agda is a dependently typed programming language / interactive theorem prover.
★ 2,922+3Star change over the last 7 days
#6
magmide ↗@magmideRocq Prover
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
★ 835+0Star change over the last 7 days

← Back to topics