Repositori open source terpantau milik berkeley-abc, diurutkan berdasarkan bintang.
ABC: Sistem untuk Sintesis Logika Sekuensial dan Verifikasi Formal
