berkeley-abc की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
ABC: अनुक्रमिक तर्क संश्लेषण (Sequential Logic Synthesis) और औपचारिक सत्यापन (Formal Verification) के लिए सिस्टम
