FunQy - A high-level hybrid quantum programming language
☆33Nov 9, 2020Updated 5 years ago
Alternatives and similar repositories for funqy
Users that are interested in funqy are comparing it to the libraries listed below
Sorting:
- A performance orientated QGL compiler.☆13Dec 19, 2023Updated 2 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- ORCA's QUBO solver running on a simulated PT-Series☆14Dec 21, 2021Updated 4 years ago
- A lambda calculus for quantum computation☆13Oct 27, 2018Updated 7 years ago
- ⚙️ A work in progress ECS game engine☆12Jan 30, 2022Updated 4 years ago
- PL Reading Group Website☆14Jan 12, 2026Updated last month
- A reference implementation for a quantum virtual machine in Python☆46Feb 7, 2019Updated 7 years ago
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- Julia interface to D-Wave quantum annealing hardware☆17Oct 21, 2019Updated 6 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- Julia package for simulating quantum evolution, including quantum Bayesian stochastic readout.☆13Jun 30, 2020Updated 5 years ago
- The Cubicle model checker☆14Jan 12, 2026Updated last month
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- C++ Library for Quantum State Preparation (QSP)☆12Jan 5, 2023Updated 3 years ago
- Julia library for quantum information related calculations.☆18Feb 21, 2022Updated 4 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- Tools for Construct Quantum Circuit for Quantum Walk on Graphs☆14Feb 9, 2020Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- C FFI generator for Deno☆17Sep 3, 2024Updated last year
- A javascript library for easily writing QASM 2.0 code for quantum computing☆15Dec 4, 2025Updated 3 months ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Quantum Computing for Humans!☆15Oct 22, 2018Updated 7 years ago
- A foundational library for quantum mechanics in Julia☆42Feb 8, 2020Updated 6 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆31Feb 25, 2026Updated last week
- [WIP] WebGL API implementation for Deno, built on GLFW using FFI.☆18Jan 27, 2022Updated 4 years ago
- Racket bindings for Z3☆20Aug 7, 2012Updated 13 years ago
- These samples demonstrate how to integrate with the Q# language or compilers☆19Aug 26, 2021Updated 4 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 6 years ago
- 🍣 Template repository for deno modules that want to use wasm☆21Jan 20, 2023Updated 3 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago
- Objective-C runtime bridge for Deno☆22Jun 9, 2023Updated 2 years ago
- Blackbird is a quantum assembly language for continuous-variable quantum computation, that can be used to program Xanadu's quantum photon…☆76Oct 18, 2022Updated 3 years ago
- Full-stack quantum processing toolkit☆179Feb 22, 2026Updated last week
- A quantum circuit drawing application☆185Dec 12, 2022Updated 3 years ago
- Tensor network contraction function for Julia.☆21Aug 27, 2021Updated 4 years ago
- Quantum Autoencoder Implementation using Forest and OpenFermion☆21Oct 18, 2018Updated 7 years ago