YosysHQ/ eqy
Equivalence checking with Yosys
by Yosys Headquarters Python Other licence 16 forks Created Jul 2020 View on GitHub
- Stars
- 69
- <1% of YosysHQ's stars
- Rank
- #651,454
- of 851,979 repos, top 77%
- In Python
- #131,842
- of 173,293 repos, top 77%
Among 851,979 repos
63–100 stars: 217,619 repos, including eqy
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 #643,846
- Next milestone
- +9 stars to reach the top 70%
- Yearly average
- 11 stars a year since Jul 2020