a16z/
A symbolic testing tool for EVM smart contracts
by a16z Python AGPL-3.0 licence 119 forks Created Dec 2022 View on GitHub
- Stars
- 1,043
- 11% of a16z's stars
- Rank
- #64,188
- of 849,913 repos, top 8%
- In Python
- #11,632
- of 172,817 repos, top 7%
Among 849,913 repos
1k–1.6k stars: 23,671 repos, including halmos
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 #64,129
- Next milestone
- +6,178 stars to reach the top 1%
- Popular
- One of 66,532 repos with 1k+ stars
- Yearly average
- 266 stars a year since Dec 2022