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
21.0%
Avg Review Latency
70.9h
Filter by language
9 repositories tagged #type-theory
B TierRust 453
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
14.3%
Merge Rate
26d
First Review
0%
1st-Timers
1
Maintainers
A TierHAHaskell 2.9k
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
78.2%
Merge Rate
23h
First Review
67%
1st-Timers
27
Maintainers
B TierOCOCaml 134
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
96.4%
Merge Rate
-
First Review
100%
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 220
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 602
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
0.0%
Merge Rate
-
First Review
0%
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 394
ehatti/peridot
A fast functional language based on two level type theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers