Topic Hub
#type-theory (9 Repositories)
Ranked open-source repositories tagged with #type-theory, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
29.7%
Avg Review Latency
1.5h
Filter by language
9 repositories tagged #type-theory
A TierHAHaskell 2.9k
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
71.1%
Merge Rate
-
First Review
73%
1st-Timers
30
Maintainers
B TierRust 462
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
100.0%
Merge Rate
13h
First Review
0%
1st-Timers
1
Maintainers
B TierOCOCaml 136
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
96.0%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
D TierHAHaskell 178
ditto/ditto
A Super Kawaii Dependently Typed Programming Language
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 393
ehatti/peridot
A fast functional language based on two level type theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 3.8k
HigherOrderCO/Kind
A modern proof language
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierOCOCaml 222
RedPRL/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 607
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers