Alternatives and similar repositories for angel:

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

• gmeuli / caterpillar
  ☆24Updated 4 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆13Updated 8 months ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆102Updated last year
• msoeken / revkit
  RevKit: Python quantum compilation library and framework
  ☆27Updated 5 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆68Updated this week
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆35Updated 9 months ago
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆17Updated 8 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆25Updated 2 years ago
• cda-tum / mqt-ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆145Updated this week
• BQSKit / qfast
  Quantum Fast Approximate Synthesis Tool
  ☆17Updated 2 years ago
• meamy / t-par
  A quantum circuit optimizer based on sum-over-paths representations
  ☆25Updated 5 years ago
• msoeken / kitty
  C++ truth table library
  ☆52Updated last year
• UCLA-VAST / QUEKO-benchmark
  ☆25Updated 3 years ago
• lsils / percy
  C++ header-only exact synthesis library
  ☆16Updated 2 years ago
• openqasm / qe-qasm
  A LALR(1) OpenQASM Parser and AST Generator.
  ☆13Updated 8 months ago
• 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 8 years ago
• uuudown / QASMBench
  QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.
  ☆25Updated 3 years ago
• cda-tum / mqt-qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆96Updated this week
• cmdawson / sk
  Solovay Kitaev algorithm
  ☆11Updated 5 years ago
• ORNL-QCI / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆9Updated 3 years ago
• msoeken / cirkit
  A circuit toolkit
  ☆100Updated 5 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆71Updated this week
• XanaduAI / jet
  Jet is a cross-platform library for simulating quantum circuits using tensor network contractions.
  ☆61Updated 2 years ago
• UCLA-VAST / DPQA
  ☆21Updated 10 months ago
• connorbybee / hoim
  ☆12Updated last year
• BBN-Q / QGL
  Quantum Gate Language (QGL) is a domain specific language embedded in python for specifying quantum gate sequences.
  ☆32Updated 3 weeks ago
• pnnl / DM-Sim
  DM-Sim: Quantum Simulator on GPU Cluster using Density Matrix
  ☆51Updated last year
• pnnl / qasmtrans
  A C++ based quantum transpiler for NISQ devices
  ☆25Updated 2 months ago
• dwavesystems / dwave-tabu
  Tabu solver for QUBO/Ising problems.
  ☆22Updated 2 years ago