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

Compare with

63–100 stars: 217,619 repos, including eqy

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

Stars counted Recounted daily Next count around