Alternatives and similar repositories for revkit

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

• msoeken / cirkit
  A circuit toolkit
  ☆105Updated 5 years ago
• gmeuli / caterpillar
  ☆28Updated 4 years ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆23Updated 9 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆79Updated this week
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆104Updated 2 years ago
• munich-quantum-toolkit / syrec
  SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
  ☆35Updated this week
• UCLA-VAST / DPQA
  ☆23Updated last year
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆155Updated this week
• marcelwa / aigverse
  A Python library for working with logic networks, synthesis, and optimization.
  ☆65Updated this week
• 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
• lsils / kitty
  C++ truth table library
  ☆62Updated 3 months ago
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆12Updated 2 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆88Updated 3 weeks ago
• lsils / bill
  C++ header-only reasoning library
  ☆17Updated last year
• epiqc / ScaffCC
  Compilation, analysis and optimization framework for the Scaffold quantum programming language.
  ☆194Updated 4 years ago
• softwareQinc / staq
  Full-stack quantum processing toolkit
  ☆181Updated last month
• munich-quantum-toolkit / qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆27Updated this week
• munich-quantum-toolkit / qcec
  MQT QCEC - A tool for Quantum Circuit Equivalence Checking
  ☆105Updated this week
• UCLA-VAST / QUEKO-benchmark
  ☆26Updated 3 years ago
• BQSKit / qfast
  Quantum Fast Approximate Synthesis Tool
  ☆19Updated 2 years ago
• uuudown / QASMBench
  QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.
  ☆25Updated 4 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆29Updated 2 years ago
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆136Updated 9 months ago
• lanl / edif2qmasm
  Run hardware descriptions on a quantum annealer
  ☆24Updated 3 years ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆30Updated 2 years ago
• JoeyDelp / JoSIM
  Superconductor Circuit Simulator
  ☆93Updated 3 weeks ago
• runekrauss / freddy
  A design automation framework to engineer decision diagrams yourself
  ☆23Updated last week
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆198Updated last year
• openqasm / qe-compiler
  An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3
  ☆62Updated last year
• opencompl / QMLIR
  A prototype of an SSA-based quantum IR exploiting value semantics
  ☆12Updated last year