kat31416 / quacee
Quacee quantum computing language
☆11Updated 7 years ago
Alternatives and similar repositories for quacee:
Users that are interested in quacee are comparing it to the libraries listed below
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 7 years ago
- Quantum Annealing Prolog☆39Updated 2 years ago
- The RPC framework and message specification for @rigetti Quantum Cloud Services.☆77Updated last year
- microKanren implementation from DLS '16☆15Updated 6 years ago
- A lambda calculus for quantum computation☆12Updated 6 years ago
- Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers☆69Updated 7 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 11 years ago
- A Lexical Analyzer Generator☆60Updated last month
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 9 months ago
- Probabilistic miniKanren☆62Updated 9 years ago
- ☆18Updated 6 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- ☆40Updated 2 months ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Haskell bindings to SymEngine☆25Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 6 years ago
- minimal miniKanren implementation in Julia☆23Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Quantum programming language putting entanglement and superposition front and center☆40Updated last year
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated 11 months ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- Unofficial bindings to Rigetti Forest in Common Lisp.☆10Updated 6 years ago
- Scheme in Rust☆16Updated 3 years ago
- Summer Scheming!!!!!!☆11Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Racket syntax for Haskell-style function composition☆8Updated this week
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆10Updated 4 years ago