kat31416 / quacee

Related projects ⓘ

Alternatives and complementary repositories for quacee

• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆12Updated 6 years ago
• lanl / QA-Prolog
  Quantum Annealing Prolog
  ☆35Updated 2 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 7 years ago
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆77Updated last year
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆12Updated 5 years ago
• jazzscheme / jedi
  Programmable IDE for the Lisp family of languages.
  ☆20Updated 2 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• thephoeron / black-stone
  Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers
  ☆67Updated 7 years ago
• arclanguage / Clamp
  Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.
  ☆10Updated 3 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 7 months ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 8 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• sharplispers / pseudoscheme
  An implementation of Scheme embedded in Common Lisp
  ☆24Updated 12 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• racket / plot
  ☆40Updated last week
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆31Updated 9 months ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated last month
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated 6 months ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated 10 months ago
• racket / honu
  ☆18Updated last year
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• daly / PDFS
  ☆14Updated last year
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• stylewarning / cl-forest
  Unofficial bindings to Rigetti Forest in Common Lisp.
  ☆10Updated 6 years ago