Topic Hub
#software-verification (4 Repositories)
Ranked open-source repositories tagged with #software-verification, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
41.3%
Avg Review Latency
0.0h
Filter by language
4 repositories tagged #software-verification
A TierOCOCaml 252 3 GFIs
goblint/analyzer
Static analysis framework for C
65.1%
Merge Rate
-
First Review
67%
1st-Timers
9
Maintainers
B TierJavaScript 111
moonrunnerkc/swarm-orchestrator
Swarm Orchestrator: a coding agent that must prove its work. Bounded repository changes, the project's real checks as sealed gates, challenges to weak evidence, retries that cannot trade away test quality, and a signed, hash-chained evidence record anyone can verify offline.
100.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierJava 265
sosy-lab/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierC++ 3.2k
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers