Popular repositories

1. qsyn qsyn Public

   A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits

   C++ 165 12

2. 112-1-qda-hw3-q-aware-k-lut 112-1-qda-hw3-q-aware-k-lut Public

   A almost-complete, minimum-viable implementation of the quantum-aware k-LUT mapping algorithm

   Python

3. cadical cadical Public

   Forked from arminbiere/cadical

   CaDiCaL SAT Solver

   C++

4. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

5. qsyn-benchmark qsyn-benchmark Public

   OpenQASM