learner-long-life / qcl
Import of Bernhard Oemer's Quantum Computer Language simulator.
☆14Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for qcl
- Quantum Computing Language Compiler☆13Updated 9 years ago
- Naive Bayesian Classifier written in APL☆22Updated 6 years ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)☆83Updated 9 years ago
- An OCaml based implementation of a Quil QVM☆37Updated 6 years ago
- A resource library for PLT, Haskell, ML and compilers.☆21Updated 11 years ago
- Propositional calculus in Haskell☆11Updated 7 years ago
- basic quantum computing concepts implemented in Python☆181Updated 10 years ago
- Quantum programming language putting entanglement and superposition front and center☆40Updated last year
- A computational way to study discrete mathematics using Haskell☆72Updated 5 years ago
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆25Updated 4 years ago
- Haskell bindings to SymEngine☆25Updated last year
- An IBM OpenQASM 2.0 Parser Written In Rust☆26Updated 3 years ago
- A quantum circuit language and formal verification tool☆92Updated 11 months 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
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 10 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆28Updated 7 years ago
- Source code of quantumplayground.net.☆109Updated 8 years ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- Quacee quantum computing language☆11Updated 7 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆21Updated 4 months ago
- FunQy - A high-level hybrid quantum programming language☆33Updated 4 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆14Updated last year
- A visual Mandelbrot set explorer written in J☆11Updated 3 years ago
- Heroku + docker + haskell = ?☆13Updated 9 years ago
- Porting of software foundations book to Agda☆37Updated 10 years ago
- Quantum Annealing Prolog☆36Updated 2 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 6 years ago