Popular repositories Loading

1. qsyn qsyn Public

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

   C++ 185 17

2. gv gv Public

   C++ 8 3

3. 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

4. cadical cadical Public

   Forked from arminbiere/cadical

   CaDiCaL SAT Solver

   C++

5. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

6. qsyn-benchmark qsyn-benchmark Public

   OpenQASM