thephoeron / qgame
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
- A Lexical Analyzer Generator☆61Updated 4 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 10 months ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- Scheme to Common Lisp☆16Updated last year
- experimental computational medium and supporting tools☆22Updated last week
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- 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
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 9 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆32Updated last year
- access (parts of) VIGRA's functionality from Racket☆15Updated 3 years ago
- SLAYER ported to Racket☆21Updated 5 years ago
- Example of exposing C++ to Clasp☆14Updated 2 years ago
- *Lisp simulator☆28Updated 11 years ago
- A *LISP emulator☆35Updated 5 years ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- Common Lisp implementation of rope datastructure☆37Updated 8 months ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- A Lisp-to-Javascript compiler bootstrapped from Common Lisp☆9Updated 8 years ago
- Guile numerical arrays and tensor extension☆54Updated 3 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Datalog implemented in minikanren☆24Updated 7 years ago
- CCLDoc documentation system used by Clozure CL☆33Updated 7 months ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆41Updated 3 months ago
- Programmable IDE for the Lisp family of languages.☆20Updated 8 months ago
- An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.☆60Updated 3 years ago
- A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)☆28Updated 10 years ago