-
NVIDIA
- Switzerland
-
cuda-quantum Public
Forked from NVIDIA/cuda-quantumC++ and Python support for the CUDA Quantum programming model for heterogeneous quantum-classical workflows
C++ Other UpdatedOct 17, 2024 -
clangir Public
Forked from llvm/clangirA new (MLIR based) high-level IR for clang.
LLVM Other UpdatedJul 9, 2024 -
cudaqlib Public
Forked from cudaq-libraries/cudaqlibA collection of application-level libraries for the CUDA-Q.
Fortran Other UpdatedJun 19, 2024 -
tweedledum Public
C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
-
qiskit-terra Public
Forked from Qiskit/qiskitTerra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
Python Apache License 2.0 UpdatedMar 6, 2023 -
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedFeb 1, 2023 -
-
mockturtle Public
Forked from lsils/mockturtleC++ logic network library
C++ MIT License UpdatedMar 28, 2022 -
lorina Public
Forked from hriener/lorinaC++ parsing library for simple formats used in logic synthesis and formal verification
C++ MIT License UpdatedFeb 5, 2022 -
bill Public
Forked from lsils/billC++ header-only reasoning library
C MIT License UpdatedJan 10, 2022 -
openqasm Public
Forked from openqasm/openqasmQuantum assembly language for extended quantum circuits
TeX Apache License 2.0 UpdatedDec 20, 2021 -
-
mitiq Public
Forked from unitaryfund/mitiqMitiq is an open source toolkit for implementing error mitigation techniques on most current intermediate-scale quantum computers.
Python GNU General Public License v3.0 UpdatedJun 5, 2021 -
pytest-benchmark Public
Forked from ionelmc/pytest-benchmarkpy.test fixture for benchmarking code
Python BSD 2-Clause "Simplified" License UpdatedApr 29, 2021 -
awesome-quantum-software Public
Forked from qosf/awesome-quantum-softwareCurated list of open-source quantum software projects.
Creative Commons Zero v1.0 Universal UpdatedMar 24, 2021 -
factoring-sat Public
Forked from sebastianv89/factoring-satSupporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers
Mathematica UpdatedDec 1, 2019 -
-
tweedledee Public
C++17 Library for parsing files used to describe quantum circuits
-
exorcism Public
Fast Heuristic Minimization of Exclusive-Sums-of-Products
-
losys Public
Logic synthesis and verification framework
-
satomi Public
Yet another SAT solver developed in C.
C BSD 2-Clause "Simplified" License UpdatedMay 8, 2017 -