runtimeverification/
Runtime verification system for Java, using AspectJ for instrumentation.
by Runtime Verification Inc. Java MIT licence 38 forks Created Oct 2013 View on GitHub
- Stars
- 54
- 1% of runtimeverification's stars
- Rank
- #789,869
- of 851,984 repos, top 93%
- In Java
- #41,870
- of 45,022 repos, top 93%
Among 851,984 repos
40–63 stars: 143,702 repos, including javamop
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #778,438
- Next milestone
- +3 stars to reach the top 90%
- Yearly average
- 4 stars a year since Oct 2013