thephoeron / qgameLinks
QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
☆32Updated 8 years ago
Alternatives and similar repositories for qgame
Users that are interested in qgame are comparing it to the libraries listed below
Sorting:
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 4 years ago
- Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers☆70Updated 8 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- A Lexical Analyzer Generator☆63Updated 11 months ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆43Updated 8 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- Chess utilities for Common Lisp☆57Updated last month
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- A Bel Lisp interpreter built with C, written as a book/literate program (archived)☆56Updated 4 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago
- ☆44Updated 3 months ago
- A logic programming library for Common Lisp.☆63Updated 4 years ago
- Guile numerical arrays and tensor extension☆58Updated 3 weeks ago
- ☆39Updated last week
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆48Updated 8 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- Don't Lisp, Talk!☆57Updated last year
- An Inference Engine based on Propositional Calculus written in Common Lisp☆51Updated 3 weeks ago
- R7RS/R6RS Scheme Implementation☆64Updated 2 years ago
- A WIP NES emulator, most dev happening on git.sr.ht/~kingcons once-more-with-feeling branch☆34Updated last year
- A programming argot☆57Updated last year
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- HASKELL: Yale Haskell system written in Lisp☆103Updated 11 years ago
- Super Monadic Über Go-into : parser combinators for Common Lisp☆110Updated 3 years ago
- Access Chez Scheme documentation from the REPL☆30Updated 6 months ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- Generic collections API for Racket☆52Updated 3 years ago