YosysHQ/sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

by Yosys Headquarters Python Other licence 109 forks Created Jan 2017 View on GitHub

Stars
570
3% of YosysHQ's stars
Rank
#111,868
of 851,979 repos, top 14%
In Python
#20,717
of 173,293 repos, top 12%

Among 851,979 repos

Compare with

400–630 stars: 51,564 repos, including sby

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #111,684
Next milestone
+197 stars to reach the top 10%
Popular
One of 490,661 repos with 100+ stars
Yearly average
58 stars a year since Jan 2017

Stars counted Recounted daily Next count around