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
  ☆39Updated 3 years ago
• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆13Updated 6 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆80Updated 2 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆62Updated 5 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆33Updated last year
• 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
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• jpellegrini / spartns
  Spartns is a SPARse TeNSor representation library. This project moved to Gitlab
  ☆10Updated 7 years ago
• stylewarning / cl-forest
  Unofficial bindings to Rigetti Forest in Common Lisp.
  ☆10Updated 6 years ago
• thephoeron / black-stone
  Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers
  ☆70Updated 8 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 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
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 3 months ago
• jazzscheme / jedi
  Programmable IDE for the Lisp family of languages.
  ☆20Updated 9 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆41Updated 4 months ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• racket / parser-tools
  ☆14Updated 3 weeks ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• daly / PDFS
  ☆14Updated last year
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆18Updated 11 months ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago