Illustration: the project’s public image, pixelated by RepoMasters. Credits

BetaRare

berkeley-abc/abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Owner: berkeley-abc (organization)
Stars: Stars: 1,249
Forks: Forks: 857
Language: C
License: None
Created: 2018
Tier: Beta (700 to 1,999 ★) What this tier means

Nearby in C

DragonMinded/libdragonStars: 1,250CBeta
pq-crystals/kyberStars: 1,250CBeta
little-brother/sqlite-guiStars: 1,250CBeta
morrownr/88x2bu-20210702Stars: 1,248CBeta
holepunchto/bareStars: 1,248CBeta
amerkoleci/Vortice.WindowsStars: 1,245CBeta