kat31416 / quacee
Quacee quantum computing language
☆11Updated 8 years ago
Alternatives and similar repositories for quacee:
Users that are interested in quacee are comparing it to the libraries listed below
- Quantum Annealing Prolog☆39Updated 3 years ago
- The RPC framework and message specification for @rigetti Quantum Cloud Services.☆78Updated last year
- A lambda calculus for quantum computation☆13Updated 6 years ago
- Unofficial bindings to Rigetti Forest in Common Lisp.☆10Updated 6 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers☆69Updated 8 years ago
- A Lexical Analyzer Generator☆61Updated 3 months ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆32Updated last year
- Render math formulas in 2D in your terminal!☆53Updated 2 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 6 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated last month
- A tiny, self-contained, general-purpose quantum interpreter.☆48Updated last year
- Operations with matrices, SWI pack☆13Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- An OCaml based implementation of a Quil QVM☆37Updated 6 years ago
- D-Wave Instance Generator (D-WIG)☆9Updated 2 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated last month
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Common Lisp implementation of (grid restrained) Nelder-Mead☆14Updated 7 years ago
- automatic differentiation library for common lisp☆20Updated 11 years ago
- Solovay Kitaev algorithm☆11Updated 5 years ago
- A performance orientated QGL compiler.☆13Updated last year
- Petalisp for Python - a replacement for Numpy.☆14Updated 6 years ago
- Tools for internationalization of Common Lisp programs.☆8Updated 10 months ago
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆43Updated 3 years ago
- A Common Lisp client library for the IPFS API☆14Updated 7 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆40Updated 2 months ago