Alternatives and similar repositories for QMLIR

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

• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆44Updated last week
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆103Updated 2 years ago
• openqasm / qe-compiler
  An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3
  ☆57Updated 8 months ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 5 months ago
• qir-alliance / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆100Updated 2 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆79Updated last week
• CQCL / tket2
  Version 2 of the TKET quantum compiler
  ☆39Updated this week
• openqasm / qe-qasm
  A LALR(1) OpenQASM Parser and AST Generator.
  ☆13Updated 11 months ago
• ORNL-QCI / qcor
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆10Updated 3 years ago
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆172Updated this week
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆11Updated 10 months ago
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆150Updated this week
• qcc4cp / qcc
  Source code for the book "Quantum Computing for Programmers", Cambridge University Press
  ☆91Updated 2 months ago
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆114Updated 5 months ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 2 months ago
• softwareQinc / staq
  Full-stack quantum processing toolkit
  ☆174Updated 3 weeks ago
• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆83Updated last month
• 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
• gmeuli / caterpillar
  ☆25Updated 4 years ago
• uuudown / QASMBench
  QASMBench is an OpenQASM benchmark suite running on IBM Quantum-Experience backends.
  ☆25Updated 4 years ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆60Updated last month
• oqc-community / rasqal
  A dynamically executed quantum-classical hybrid runtime.
  ☆21Updated 2 weeks ago
• XanaduAI / jet
  Jet is a cross-platform library for simulating quantum circuits using tensor network contractions.
  ☆62Updated 2 years ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated this week
• qir-alliance / qat
  QIR compiler tools and optimization passes for targeting QIR to different hardware backends
  ☆29Updated last year
• msoeken / revkit
  RevKit: Python quantum compilation library and framework
  ☆29Updated 6 years ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆29Updated 4 years ago
• yuewuo / fusion-blossom
  A fast minimum-weight perfect matching solver for quantum error correction
  ☆73Updated 3 weeks ago
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆88Updated 8 months ago
• qir-alliance / qir-spec
  QIR specification defining how to represent quantum programs within the LLVM IR
  ☆76Updated last week