Popular repositories Loading

1. QCbenchmark QCbenchmark Public

   OpenQASM 1 1

2. LSV-PA LSV-PA Public

   Forked from NTU-ALComLab/LSV-PA

   Logic Synthesis and Verification: Programming Assignments

   C

3. qcec qcec Public

   Forked from cda-tum/mqt-qcec

   QCEC - A JKQ tool for Quantum Circuit Equivalence Checking

   C++

4. JoSIM JoSIM Public

   Forked from JoeyDelp/JoSIM

   Superconductor Circuit Simulator

   C++

5. RSFQlib RSFQlib Public

   Forked from sunmagnetics/RSFQlib

   RSFQ cell library

   Python

6. TimEx TimEx Public

   Forked from Flians/TimEx

   Netlist-to-Verilog extraction for SFQ circuits

   Pascal