lanl / QA-Prolog

Related projects ⓘ

Alternatives and complementary repositories for QA-Prolog

• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆154Updated 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
  ☆40Updated last year
• rigetti / oqaml
  An OCaml based implementation of a Quil QVM
  ☆37Updated 6 years ago
• lanl / edif2qmasm
  Run hardware descriptions on a quantum annealer
  ☆24Updated 2 years ago
• rvanasa / funqy
  FunQy - A high-level hybrid quantum programming language
  ☆33Updated 4 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• thephoeron / quipper-language
  Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
  ☆83Updated 9 years ago
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆40Updated 3 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆92Updated 11 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆32Updated 2 weeks ago
• rigetti / forest-software
  A curated list of projects developed using the Forest quantum programming environment.
  ☆42Updated 5 years ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆98Updated last year
• vm6502q / vm6502q
  Virtual Machine, quantum computational super set of a MOS 6502 emulator.
  ☆11Updated 2 years ago
• lanl / c2dwave
  Translate a subset of C to Verilog
  ☆10Updated 5 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆15Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated this week
• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆12Updated 6 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 8 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆79Updated 3 months ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 7 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• quil-lang / quil
  Specification of Quil: A Practical Quantum Instruction Set Architecture
  ☆108Updated last month
• motib / LearnSAT
  SAT solver for education
  ☆25Updated 2 years ago
• LSaldyt / Qurry
  Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…
  ☆25Updated 4 years ago
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆77Updated last year