Topic Hub
#separation-logic (2 Repositories)
Ranked open-source repositories tagged with #separation-logic, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
30.8%
Avg Review Latency
48.3h
Filter by language
Rankings/rankings/scala
2 repositories tagged #separation-logic
B TierScala 111
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
61.5%
Merge Rate
4d
First Review
67%
1st-Timers
4
Maintainers
D TierScala 130
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers