Alternatives and similar repositories for angel

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

• gmeuli / caterpillar
  ☆28Updated 4 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
  ☆78Updated this week
• msoeken / revkit
  RevKit: Python quantum compilation library and framework
  ☆30Updated 6 years ago
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆37Updated last year
• msoeken / cirkit
  A circuit toolkit
  ☆105Updated 5 years 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 9 years ago
• BQSKit / qfast
  Quantum Fast Approximate Synthesis Tool
  ☆19Updated 2 years ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆23Updated 9 years ago
• lsils / kitty
  C++ truth table library
  ☆62Updated 3 months ago
• UCLA-VAST / DPQA
  ☆23Updated last year
• ORNL-QCI / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆10Updated 3 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 6 months ago
• prakashmurali / TriQ
  Backend Compiler for Scaffold
  ☆23Updated 4 years ago
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆18Updated 2 years ago
• UCLA-VAST / QUEKO-benchmark
  ☆26Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• EQuS / bosonic
  bosonic quantum circuits
  ☆18Updated 3 months ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆29Updated 2 years ago
• pnnl / DM-Sim
  DM-Sim: Quantum Simulator on GPU Cluster using Density Matrix
  ☆52Updated last year
• lsils / percy
  C++ header-only exact synthesis library
  ☆18Updated 2 years ago
• msoeken / alice
  C++ command shell library
  ☆53Updated last year
• uuudown / QASMBench
  QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.
  ☆25Updated 4 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆88Updated 2 weeks ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆155Updated this week
• NTU-ALComLab / LSV-PA
  Logic Synthesis and Verification: Programming Assignments
  ☆13Updated 3 weeks ago
• PennyLaneAI / pennylane-lightning-gpu
  GPU enabled Lightning simulator for accelerated circuit simulation. See https://github.com/PennyLaneAI/pennylane-lightning for all future…
  ☆49Updated last year
• mgudemann / iimc
  ☆14Updated 7 years ago