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
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆80Updated 2 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
  ☆32Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆62Updated 7 months ago
• racket / plot
  ☆43Updated 2 months ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• jazzscheme / jedi
  Programmable IDE for the Lisp family of languages.
  ☆20Updated 10 months ago
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 9 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• henrikurms / tail2futhark
  ☆19Updated 6 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆63Updated 9 years ago
• thephoeron / quipper-language
  Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
  ☆86Updated 9 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆49Updated 2 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months 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
• racket / parser-tools
  ☆14Updated 2 months ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆46Updated this week
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated this week
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated last year
• stylewarning / formulador
  Render math formulas in 2D in your terminal!
  ☆54Updated 3 years ago
• hinkelman / dataframe
  A dataframe library for Scheme (R6RS)
  ☆24Updated 3 weeks ago
• stylewarning / cl-forest
  Unofficial bindings to Rigetti Forest in Common Lisp.
  ☆10Updated 6 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 8 years ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 4 months ago