Alternatives and similar repositories for QA-Prolog:

Users that are interested in QA-Prolog are comparing it to the libraries listed below

• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆160Updated 5 years ago
• kat31416 / quacee
  Quacee quantum computing language
  ☆11Updated 7 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆41Updated last year
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆96Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• rigetti / oqaml
  An OCaml based implementation of a Quil QVM
  ☆37Updated 6 years ago
• vm6502q / vm6502q
  Virtual Machine, quantum computational super set of a MOS 6502 emulator.
  ☆12Updated 3 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆37Updated last month
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆81Updated last month
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆43Updated 3 years ago
• thephoeron / quipper-language
  Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
  ☆84Updated 9 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 9 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 months ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆13Updated 6 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆14Updated 7 years ago
• rvanasa / funqy
  FunQy - A high-level hybrid quantum programming language
  ☆33Updated 4 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 6 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated last year
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆100Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆54Updated this week
• lanl-ansi / dwig
  D-Wave Instance Generator (D-WIG)
  ☆9Updated 2 years ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆10Updated last year
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated 11 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago