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
  ☆103Updated 5 years ago
• gmeuli / caterpillar
  ☆25Updated 4 years ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆103Updated 2 years ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆21Updated 9 years ago
• lsils / kitty
  C++ truth table library
  ☆57Updated last month
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆74Updated this week
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆12Updated 2 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆79Updated this week
• UCLA-VAST / QUEKO-benchmark
  ☆25Updated 3 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆16Updated last year
• softwareQinc / staq
  Full-stack quantum processing toolkit
  ☆174Updated 3 weeks ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆150Updated this week
• UCLA-VAST / DPQA
  ☆22Updated last year
• marcelwa / aigverse
  A Python library for working with logic networks, synthesis, and optimization.
  ☆59Updated this week
• epiqc / ScaffCC
  Compilation, analysis and optimization framework for the Scaffold quantum programming language.
  ☆195Updated 3 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…
  ☆18Updated 8 years ago
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆194Updated last year
• ysiraichi / enfield
  An OpenQASM source-to-source Compiler.
  ☆20Updated 6 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆27Updated 2 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆114Updated 5 months ago
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆172Updated this week
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆36Updated last year
• munich-quantum-toolkit / syrec
  SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
  ☆30Updated this week
• BQSKit / qfast
  Quantum Fast Approximate Synthesis Tool
  ☆17Updated 2 years ago
• ORNL-QCI / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆10Updated 3 years ago
• openqasm / qe-compiler
  An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3
  ☆57Updated 8 months ago
• opencompl / QMLIR
  A prototype of an SSA-based quantum IR exploiting value semantics
  ☆10Updated last year
• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆83Updated last month
• uuudown / QASMBench
  QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.
  ☆25Updated 4 years ago