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