Topic Hub
#runtime-verification (2 Repositories)
Ranked open-source repositories tagged with #runtime-verification, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
0.0%
Avg Review Latency
0.0h
Filter by language
2 repositories tagged #runtime-verification
D TierOCOCaml 189
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 832
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers