Topic Hub
#formal-specification (2 Repositories)
Ranked open-source repositories tagged with #formal-specification, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
98.2%
Avg Review Latency
1.9h
Filter by language
2 repositories tagged #formal-specification
S TierGo 171
Fault-lang/Fault
a language for building system dynamic models
100.0%
Merge Rate
4h
First Review
100%
1st-Timers
2
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