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
| Measure | wakeTest and Fuzz Solidity Smart Contracts | CertoraProverFormally Verify Smart Contracts |
|---|---|---|
| Status | Quiet | Active |
| Health score | 29/100 | 56/100best |
| Activity (percentile) | 37 | 69best |
| Community (percentile) | 36 | 74best |
| Issues (percentile) | 21 | 21 |
| Pull requests (percentile) | 20 | 61best |
| Stars | 378best | 342 |
| Stars gained | +2 in 30 days | +5 in 30 daysbest |
| Forks | 62best | 53 |
| Commits, last 90 days | 0 | 31best |
| Releases, last 12 months | 5 | 36best |
| Contributors | 19 | 27best |
| Commits by top contributor | 90% | 19%best |
| Issues closed, last 90 days | 0 | 0 |
| Pull requests merged, last 90 days | 0 | 4best |
| Median days to merge | — | 0 |
| Language | Python | Kotlin |
| License | ISC | 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.