-
-
-
llama.cpp Public
Forked from qualcomm/llama.cppLLM inference in C/C++
C++ MIT License UpdatedDec 11, 2025 -
ScaLER Public
Forked from yezhuoyang/ScaLERQECScalable testing of logical error rate for all stabilizer circuit
Python UpdatedNov 29, 2025 -
qsyn Public
Forked from DVLab-NTU/qsynA C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits
C++ Apache License 2.0 UpdatedNov 15, 2025 -
-
-
mockturtle Public
Forked from lsils/mockturtleC++ logic network library
C++ MIT License UpdatedOct 1, 2025 -
-
-
-
quantum-circuit-optimization Public
Forked from VivienVandaele/quantum-circuit-optimizationRust implementation of quantum circuit optimization algorithms
Rust UpdatedJun 19, 2025 -
LLM-DSE Public
LLM-DSE: Searching Accelerator Parameters with LLM Agents
-
2025YaleQHack Public
Forked from yezhuoyang/2025YaleQHackThis is the soluation of QuBruin team for 2025 Yale Hackathon.
Jupyter Notebook MIT License UpdatedApr 13, 2025 -
-
MapBuf Public
MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization
-
circuit-to-tensor Public
Forked from tlaakkonen/circuit-to-tensorUtilities to convert Clifford+T quantum circuits into binary tensors for T-count optimization
OpenQASM UpdatedJan 17, 2025 -
-
-
exact-xyz Public
C++ implementation of the algorithms in quantum-xyz for extreme performance
C++ UpdatedNov 10, 2024 -
Enola Public
Forked from UCLA-VAST/EnolaPython BSD 3-Clause "New" or "Revised" License UpdatedOct 15, 2024 -
-
pyzx Public
Forked from zxcalc/pyzxPython library for quantum circuit rewriting and optimisation using the ZX-calculus
OpenQASM Apache License 2.0 UpdatedOct 2, 2024 -
-
-
dynamatic Public
Forked from EPFL-LAP/dynamaticDHLS (Dynamic High-Level Synthesis) compiler based on MLIR
C++ Other UpdatedMay 17, 2024 -
xls Public
Forked from google/xlsXLS: Accelerated HW Synthesis
C++ Apache License 2.0 UpdatedFeb 27, 2024 -
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedJan 30, 2024 -
-
Heterogeneous-Global-Router Public
Heterogeneous Global Router: EDA tool for global routing. Winner of 2020 SP ECE556 at University of Wisconsin.