Topic Hub
#typetheory (1 Repositories)
Ranked open-source repositories tagged with #typetheory, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
100.0%
Avg Review Latency
0.5h
Filter by language
Rankings/rankings/rust
1 repositories tagged #typetheory
B TierRust 117
kolemannix/k1
A language for the joy of programming
100.0%
Merge Rate
<1h
First Review
100%
1st-Timers
1
Maintainers