guenchi / Quantum
A lambda calculus for quantum computation
☆12Updated 6 years ago
Alternatives and similar repositories for Quantum:
Users that are interested in Quantum are comparing it to the libraries listed below
- ☆18Updated this week
- A server, client and UI for remotely debugging Racket applications.☆19Updated 7 months ago
- Ethereum support for Gerbil Scheme☆18Updated 9 months ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- ☆12Updated 2 months ago
- ☆19Updated last year
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Topology library for Coq☆11Updated 9 years ago
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- ☆40Updated 2 months ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- ☆7Updated 2 months ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- ☆34Updated this week
- ☆21Updated 4 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 6 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 7 years ago
- software archaeology of reflective towers of interpreters☆15Updated 3 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- JSON Schema Adventures☆17Updated last year
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- An environment variable manager for Racket applications☆17Updated last year
- Normalization-by-evaluation in miniKanren☆24Updated last year
- Github Actions CI / CD setup for Scheme☆15Updated 2 years ago
- SLAYER ported to Racket☆20Updated 5 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago