Topic Hub
#unification-theory (1 Repositories)
Ranked open-source repositories tagged with #unification-theory, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
96.4%
Avg Review Latency
0.0h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #unification-theory
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