Open source repositories tagged with #yosys, ranked by health score.
Using e-graphs for logic synthesis (ICCAD'25)
