Topic · type-theory

type-theory

Tracked open-source repos tagged type-theory, sorted by stars.

Repos

5

Total stars

13,970

Avg. stars

2,794

Share

0.00%

Topics that frequently appear alongside type-theory on the same repo.

Recent risers

Repos created in the last 90 days, tagged type-theory.

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

#1
plt ↗@steshawCSS
Programming Language Theory λΠ
★ 5,362+1Star change over the last 7 days
#2
Kind ↗@HigherOrderCOHaskell
A modern proof language
★ 3,763-1Star change over the last 7 days
#3
agda ↗@agdaHaskell
Agda is a dependently typed programming language / interactive theorem prover.
★ 2,922+3Star change over the last 7 days
#4
Coq-HoTT ↗@HoTTRocq Prover
A Coq library for Homotopy Type Theory
★ 1,405+1Star change over the last 7 days
#5
typescript-sudoku ↗@gruhnTypeScript
Playing Sudoku in TypeScript while the type checker highlights mistakes.
★ 517-1Star change over the last 7 days

← Back to topics