Topic Hub
#formalization (1 Repositories)
Ranked open-source repositories tagged with #formalization, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
0.0%
Avg Review Latency
0.0h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #formalization
D TierOCOCaml 130
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers