# berkeley-abc/abc

<https://repo.masters-masters.com/en/repos/berkeley-abc/abc>

[Home](https://repo.masters-masters.com/en) › [berkeley-abc](https://repo.masters-masters.com/en/owners/berkeley-abc) › [abc](https://repo.masters-masters.com/en/repos/berkeley-abc/abc)

berkeley-abc/abc has 1,249 stars on GitHub. Its RepoMasters card: Beta tier. ABC: System for Sequential Logic Synthesis and Formal Verification Language: C.

| Field | Value |
| --- | --- |
| Owner | [berkeley-abc](https://repo.masters-masters.com/en/owners/berkeley-abc) |
| Stars | 1,249 |
| Forks | 857 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | None |
| Created | 2018 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [berkeley-abc/abc](https://github.com/berkeley-abc/abc) |

## Repository

ABC: System for Sequential Logic Synthesis and Formal Verification

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in C

- [DragonMinded/libdragon · ★ 1,250 · C · Beta](https://repo.masters-masters.com/en/repos/DragonMinded/libdragon)
- [pq-crystals/kyber · ★ 1,250 · C · Beta](https://repo.masters-masters.com/en/repos/pq-crystals/kyber)
- [little-brother/sqlite-gui · ★ 1,250 · C · Beta](https://repo.masters-masters.com/en/repos/little-brother/sqlite-gui)
- [morrownr/88x2bu-20210702 · ★ 1,248 · C · Beta](https://repo.masters-masters.com/en/repos/morrownr/88x2bu-20210702)
- [holepunchto/bare · ★ 1,248 · C · Beta](https://repo.masters-masters.com/en/repos/holepunchto/bare)
- [amerkoleci/Vortice.Windows · ★ 1,245 · C · Beta](https://repo.masters-masters.com/en/repos/amerkoleci/Vortice.Windows)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.