Pinned Loading

1. ABCPaperCheck ABCPaperCheck Public

   Research paper based on or related to ABC.

   15 1

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

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 907 592

3. Workout-Record Workout-Record

   1

   🚶‍♂️   834km ███████████████████▊

   2

   ‍🏃‍♂️     3km ░░░░░░░░░░░░░░░░░░░░

   3

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

   4

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

   5

        837km 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