Code repository for our work on Quantum Pi
☆10Jun 4, 2024Updated last year
Alternatives and similar repositories for QuantumPi
Users that are interested in QuantumPi are comparing it to the libraries listed below
Sorting:
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- Archive of the categories mailling list☆11Sep 8, 2020Updated 5 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- ☆11Apr 10, 2024Updated last year
- A digital archive of category theory papers.☆34Feb 5, 2026Updated 3 weeks ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 4 years ago
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated last month
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated 10 months ago
- Prune is a constraint logic programming language with branching heuristic.☆33Feb 4, 2026Updated 3 weeks ago
- Verifying the ZX Calculus☆20Jan 16, 2026Updated last month
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 3 years ago
- Theory and Applications of Lenses and Optics☆56Apr 29, 2022Updated 3 years ago
- Curated list of TF related stuff☆27Dec 8, 2022Updated 3 years ago
- Agda formalisation of second-order abstract syntax☆55Aug 28, 2022Updated 3 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated 11 months ago
- ☆28Jun 18, 2020Updated 5 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆33Feb 8, 2026Updated 2 weeks ago
- Extensions to cubical for categorical logic/type theory☆36Feb 21, 2026Updated last week
- ☆34Feb 10, 2026Updated 2 weeks ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆80Aug 25, 2025Updated 6 months ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆35Jun 12, 2024Updated last year
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Feb 22, 2018Updated 8 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 3 months ago
- Lecture notes on realizability☆75Feb 21, 2025Updated last year
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- Mechanizations of Type Theories☆33Jan 15, 2026Updated last month
- Porting of software foundations book to Agda☆39Feb 16, 2014Updated 12 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- @dave-thompson's QMK community modules☆13Feb 18, 2026Updated last week
- MetaML and MetaOCaml bibliography☆100Dec 1, 2024Updated last year
- Efficient Haskell effect handlers based on evidence translation.☆86Jul 19, 2021Updated 4 years ago
- C++ library with Python interface to train quantum circuits, quantum gate synthesis and state preparation.☆41Updated this week
- code for polite☆11Feb 28, 2024Updated 2 years ago