Alternatives and similar repositories for angel

Users that are interested in angel are comparing it to the libraries listed below

• gmeuli / caterpillar
  ☆28Updated 5 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆17Updated last year
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆104Updated 2 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆83Updated last week
• BQSKit / qfast
  Quantum Fast Approximate Synthesis Tool
  ☆19Updated 3 years ago
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆39Updated last year
• epiqc / RKQC
  RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…
  ☆17Updated 9 years ago
• msoeken / revkit
  RevKit: Python quantum compilation library and framework
  ☆30Updated 6 years ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆24Updated 9 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆30Updated 3 years ago
• lsils / percy
  C++ header-only exact synthesis library
  ☆18Updated 3 years ago
• msoeken / cirkit
  A circuit toolkit
  ☆106Updated 5 years ago
• UCLA-VAST / DPQA
  ☆24Updated last year
• msoeken / alice
  C++ command shell library
  ☆52Updated last year
• lsils / kitty
  C++ truth table library
  ☆64Updated 5 months ago
• UCLA-VAST / QUEKO-benchmark
  ☆26Updated 3 years ago
• uuudown / QASMBench
  QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.
  ☆26Updated 4 years ago
• prakashmurali / TriQ
  Backend Compiler for Scaffold
  ☆23Updated 4 years ago
• chriseclectic / ncemntqc
  Code for "Noise Characterization and Error Mitigation in Near-Term Quantum Computers"
  ☆15Updated 5 years ago
• leonardt / hwtypes
  Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
  ☆18Updated 2 years ago
• softwareQinc / staq
  Full-stack quantum processing toolkit
  ☆180Updated last month
• BBN-Q / QGL
  Quantum Gate Language (QGL) is a domain specific language embedded in python for specifying quantum gate sequences.
  ☆32Updated last month
• qucat / qucat
  Quantum Circuit Analyzer Tool
  ☆57Updated 9 months ago
• PhilippAumann / circuitq
  Toolbox for the simulation and analysis of superconducting circuits.
  ☆41Updated 2 years ago
• meamy / t-par
  A quantum circuit optimizer based on sum-over-paths representations
  ☆26Updated 6 years ago
• munich-quantum-toolkit / qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆105Updated last week
• DEBARGHYA4469 / quantum-compiler
  Implementation of Solovay Kitaev Algorithm for approximating any n-qubit gate using gates from library set {H,T,CNOT,S}.
  ☆15Updated 7 years ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆156Updated last week
• pnnl / DM-Sim
  DM-Sim: Quantum Simulator on GPU Cluster using Density Matrix
  ☆54Updated last year
• ArlineQ / arline_benchmarks
  Arline Benchmarks platform allows to benchmark various algorithms for quantum circuit mapping/compression against each other on a list of…
  ☆32Updated 3 years ago