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 | tridentFuzz Solana Programs with Anza's SVM | CertoraProverFormally Verify Smart Contracts |
|---|---|---|
| Status | Quiet | Active |
| Health score | 35/100 | 56/100best |
| Activity (percentile) | 38 | 69best |
| Community (percentile) | 62 | 74best |
| Issues (percentile) | 21 | 21 |
| Pull requests (percentile) | 20 | 61best |
| Stars | 409best | 342 |
| Stars gained | +2 in 30 days | +5 in 30 daysbest |
| Forks | 60best | 53 |
| Commits, last 90 days | 0 | 31best |
| Releases, last 12 months | 6 | 36best |
| Contributors | 20 | 27best |
| Commits by top contributor | 42% | 19%best |
| Issues closed, last 90 days | 0 | 0 |
| Pull requests merged, last 90 days | 0 | 4best |
| Median days to merge | — | 0 |
| Language | Rust | Kotlin |
| License | MIT | 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.