kat31416 / quacee

Related projects ⓘ

Alternatives and complementary repositories for quacee

• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆12Updated 6 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• lanl / QA-Prolog
  Quantum Annealing Prolog
  ☆38Updated 2 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 8 months ago
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆17Updated 4 months ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• racket / parser-tools
  ☆11Updated 2 weeks ago
• thephoeron / black-stone
  Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers
  ☆67Updated 7 years ago
• jpellegrini / spartns
  Spartns is a SPARse TeNSor representation library. This project moved to Gitlab
  ☆10Updated 6 years ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆40Updated last year
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 7 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆18Updated last month
• BBN-Q / pyqgl2
  An imperative Quantum Gate Language (QGL) embedded in python.
  ☆9Updated 2 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆60Updated 9 months ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆31Updated 9 months ago
• latticetower / MuKanren.jl
  minimal miniKanren implementation in Julia
  ☆20Updated 7 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 5 months ago
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆77Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• stylewarning / cl-forest
  Unofficial bindings to Rigetti Forest in Common Lisp.
  ☆10Updated 6 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆40Updated 5 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆23Updated last year
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆12Updated 5 years ago
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆15Updated 8 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago