learner-long-life / qcl
Import of Bernhard Oemer's Quantum Computer Language simulator.
☆14Updated 12 years ago
Alternatives and similar repositories for qcl:
Users that are interested in qcl are comparing it to the libraries listed below
- Quantum Computing Language Compiler☆13Updated 9 years ago
- Naive Bayesian Classifier written in APL☆23Updated 7 years ago
- An OCaml based implementation of a Quil QVM☆37Updated 6 years ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)☆86Updated 9 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- basic quantum computing concepts implemented in Python☆182Updated 10 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A lambda calculus for quantum computation☆13Updated 6 years ago
- An Awesome List of Quantum Computational Related Things☆64Updated last year
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆27Updated 5 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- The Quantum IO Monad, implemented in Haskell☆102Updated last year
- Quantum Annealing Prolog☆39Updated 3 years ago
- python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"☆15Updated 4 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 7 months ago
- Haskell bindings to SymEngine☆25Updated last year
- D-Wave Instance Generator (D-WIG)☆9Updated 2 years ago
- The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…☆46Updated 4 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.☆18Updated 10 years ago
- Simulation Software for quantum logic gates☆19Updated 9 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 12 years ago
- Timing attack resistant type systems☆24Updated 9 years ago
- An IBM OpenQASM 2.0 Parser Written In Rust☆27Updated 3 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Mathematica library link wrapper for BVLC/Caffe☆20Updated 9 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago