Alternatives and similar repositories for quacee

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

• lanl / QA-Prolog
  Quantum Annealing Prolog
  ☆40Updated 4 years ago
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆80Updated 2 years ago
• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆13Updated 7 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• jpellegrini / spartns
  Spartns is a SPARse TeNSor representation library. This project moved to Gitlab
  ☆10Updated 7 years ago
• thephoeron / black-stone
  Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers
  ☆70Updated 8 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆33Updated 8 years ago
• quil-lang / quil
  Specification of Quil: A Practical Quantum Instruction Set Architecture
  ☆124Updated 3 months ago
• ozooxo / Schemannian
  A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…
  ☆16Updated 11 years ago
• stylewarning / cl-forest
  Unofficial bindings to Rigetti Forest in Common Lisp.
  ☆10Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆63Updated last year
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆50Updated 2 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• racket / honu
  ☆19Updated 2 years ago
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆48Updated 4 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• thephoeron / quipper-language
  Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
  ☆89Updated 10 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆21Updated last year
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆35Updated 2 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆171Updated 6 years ago
• rigetti / oqaml
  An OCaml based implementation of a Quil QVM
  ☆38Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆33Updated last month
• rogerkeays / racket-fluent
  Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.
  ☆27Updated 4 years ago
• henrikurms / tail2futhark
  ☆19Updated 7 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 11 months ago
• soegaard / sci
  Racket libraries for scientific computing
  ☆17Updated 11 months ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago