Pinned Loading

1. ABCPaperCheck ABCPaperCheck Public

   Research paper based on or related to ABC.

   21 1

2. berkeley-abc/abc berkeley-abc/abc Public

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 924 596

3. Workout-Record Workout-Record

   1

   🚶‍♂️  2082km █████████████████▊░░

   2

   ‍🏃‍♂️   255km ██░░░░░░░░░░░░░░░░░░

   3

   🏊‍♂️     0km ░░░░░░░░░░░░░░░░░░░░

   4

   🚴‍♂️     0km ░░░░░░░░░░░░░░░░░░░░

   5

       2337km total

4. nbulsi/nbulsi.github.io nbulsi/nbulsi.github.io Public

   Logic synthesis and optimization course page

   HTML 1

5. SystemT SystemT Public

   👨‍💻 Implementing System T in Haskell 👨‍💻

   Haskell 7

6. Yog3sh56/save-the-scran Yog3sh56/save-the-scran Public

   App for reducing the food waste

   Dart 4