Alternatives and similar repositories for quacee:

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

• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆13Updated 6 years ago
• lanl / QA-Prolog
  Quantum Annealing Prolog
  ☆39Updated 3 years ago
• rigetti / oqaml
  An OCaml based implementation of a Quil QVM
  ☆37Updated 6 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆78Updated last year
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆61Updated 4 months ago
• rigetti / forest-software
  A curated list of projects developed using the Forest quantum programming environment.
  ☆42Updated 5 years ago
• racket / parser-tools
  ☆14Updated 2 months ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆32Updated last year
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• thephoeron / black-stone
  Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers
  ☆70Updated 8 years ago
• racket / math
  ☆38Updated 3 weeks ago
• LSaldyt / Qurry
  Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…
  ☆27Updated 5 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• stylewarning / cl-forest
  Unofficial bindings to Rigetti Forest in Common Lisp.
  ☆10Updated 6 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated this week
• racket / honu
  ☆19Updated last year
• jpellegrini / spartns
  Spartns is a SPARse TeNSor representation library. This project moved to Gitlab
  ☆10Updated 7 years ago
• ozooxo / Schemannian
  A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…
  ☆16Updated 10 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆43Updated 3 years ago
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆16Updated last year