fmozafari / angelLinks
C++ Library for Quantum State Preparation (QSP)
☆12Updated 2 years ago
Alternatives and similar repositories for angel
Users that are interested in angel are comparing it to the libraries listed below
Sorting:
- ☆25Updated 4 years ago
- C++ header-only reasoning library☆16Updated last year
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆103Updated 2 years ago
- State-of-the-art in reversible logic synthesis☆21Updated 9 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆36Updated last year
- An open-source design automation framework for Field-coupled Nanotechnologies☆74Updated this week
- RevKit: Python quantum compilation library and framework☆29Updated 6 years ago
- Quantum Gate Language (QGL) is a domain specific language embedded in python for specifying quantum gate sequences.☆32Updated 3 months ago
- C++ truth table library☆57Updated 2 months ago
- Tabu solver for QUBO/Ising problems.☆22Updated 2 years ago
- An advanced header-only exact synthesis library☆27Updated 2 years ago
- A circuit toolkit☆103Updated 5 years ago
- A quantum circuit optimizer based on sum-over-paths representations☆26Updated 5 years ago
- Quantum Fast Approximate Synthesis Tool☆17Updated 2 years ago
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆18Updated 8 years ago
- Parallel SAT Solver☆10Updated 7 years ago
- Logic Synthesis and Verification: Programming Assignments☆13Updated 7 months ago
- A copy of the latest version of MVSIS☆11Updated 4 years ago
- ☆13Updated 7 years ago
- Toolbox for the simulation and analysis of superconducting circuits.☆40Updated 2 years ago
- Modeling and Analysis of Superconducting Quantum Circuits☆10Updated 4 years ago
- Map constraint satisfaction problems with binary variables to binary quadratic models.☆21Updated 4 months ago
- Analog Circuit Simulator☆21Updated 10 months ago
- This repository contains the source code used to produce the results presented in the paper "Simulating realistic non-Gaussian state prep…☆15Updated 5 years ago
- C++ header-only exact synthesis library☆17Updated 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated this week
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆18Updated last year
- Translate a subset of C to Verilog☆11Updated 6 years ago
- ☆22Updated last year
- Quantum circuit optimization with deep learning☆22Updated 5 years ago