Compare open source projects
Pick up to 4 projects from our catalog and see their health, activity and community side by side, measured the same way for every project. How we measure
Add at least one more project to compare.
| Measure | CertoraProverFormally Verify Smart Contracts |
|---|---|
| Status | Active |
| Health score | 56/100 |
| Activity (percentile) | 69 |
| Community (percentile) | 74 |
| Issues (percentile) | 21 |
| Pull requests (percentile) | 61 |
| Stars | 342 |
| Stars gained | +5 in 30 days |
| Forks | 53 |
| Commits, last 90 days | 31 |
| Releases, last 12 months | 36 |
| Contributors | 27 |
| Commits by top contributor | 19% |
| Issues closed, last 90 days | 0 |
| Pull requests merged, last 90 days | 4 |
| Median days to merge | 0 |
| Language | Kotlin |
| License | GPL-3.0 |
Counts go up to 100. "Best" marks the strongest value in a row when the projects differ; percentiles are among the projects we track.