The compiler and interpreter for the high-level quantum programming language Qunity, based on compositional quantum control flow.
☆10Apr 23, 2026Updated 6 months ago
Alternatives and similar repositories for qunity
Users that are interested in qunity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra☆12Jul 24, 2026Updated 3 months ago
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆18Feb 7, 2024Updated 2 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Compiler, runtime, and examples for the Qwerty quantum programming language☆27Sep 9, 2026Updated 2 months ago
- Minimal example of a standalone program that depends on Joern☆12Feb 14, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A stable refactoring skill for any AI coding agent. Safe, incremental, behavior-preserving code improvements for any programming language…☆13May 18, 2026Updated 5 months ago
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆51Nov 16, 2021Updated 4 years ago
- Verifying the ZX Calculus☆21Jan 16, 2026Updated 9 months ago
- ☆10Nov 22, 2024Updated last year
- ☆17Jul 6, 2026Updated 4 months ago
- A library for use in FTC projects. Allows quick development of autonomous and teleop modes.☆17May 28, 2022Updated 4 years ago
- ☆16Jan 10, 2024Updated 2 years ago
- ☆14Aug 5, 2026Updated 3 months ago
- A cross-platform terminal task manager with a minimalist interface☆20Oct 31, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35May 4, 2018Updated 8 years ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)☆95Aug 31, 2015Updated 11 years ago
- McGuffin's Useless Quantum Circuit Simulator☆23Feb 3, 2026Updated 9 months ago
- OWASP Benchmark Project Utilities - Provides scorecard generation and crawling tools for Benchmark style test suites.☆26Updated this week
- A Small Quantum Intermediate Representation☆106Apr 2, 2026Updated 7 months ago
- The backend library used by Squire Tournament Services☆22Feb 19, 2024Updated 2 years ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 7 years ago
- a dead-simple just-add-water css library☆12Jul 26, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 6 years ago
- Coq library for reasoning about quantum programs☆41Apr 3, 2026Updated 7 months ago
- Verified compilation of space-efficient reversible circuits☆24Mar 5, 2019Updated 7 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- (Kotlin) Мультиплатформенный клиент для сайта http://joyreactor.cc☆35Apr 23, 2017Updated 9 years ago
- Doom Emacs orgmode config☆10Oct 29, 2021Updated 5 years ago
- Large-scale Analysis of Cryptographic Misuse in IoT Devices☆25Nov 20, 2019Updated 6 years ago
- Code repository for our work on Quantum Pi☆12Jun 4, 2024Updated 2 years ago
- MLIR+EqSat☆33Jan 10, 2026Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 4 years ago
- Dotfiles☆15Nov 5, 2025Updated last year
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Sep 26, 2016Updated 10 years ago
- freer monads and cofreer comonads.☆24Jun 26, 2018Updated 8 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆45Nov 3, 2018Updated 8 years ago
- Website for the Ethereum Foundation's Next Billion Initiative☆15Oct 22, 2026Updated 3 weeks ago
- Bodymind Operating System☆16Dec 10, 2019Updated 6 years ago
Are these results useful?