Stars
A game to find putatively optimal packings in complex projective space with the goal of proving optimality of as many packings as possible.
Qᴜᴀʟᴛʀᴀɴ is a Python library for expressing and analyzing Fault Tolerant Quantum algorithms.
A Julia library for Pauli propagation simulation of quantum circuits and quantum systems.
Toolbox for quantum information, nonlocality, and entanglement
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
Tools for constructing and analyzing quantum low density parity check (qLDPC) codes. Also stabilizer and subsystem codes more broadly.
Design scalable noise characterisation experiments for quantum computers
Decoding Quantum Error Correction codes with Generative Pre-trained Transformers
Grounding LLM mathematical reasoning with proof assistants.
Julia package for automated Bayesian inference on a factor graph with reactive message passing
A PARI/GP package for integral binary quadratic forms and quaternion algebras over Q, with an emphasis on indefinite quadratic forms and indefinite quaternion algebras.
Simulation and visualization of quantum error correcting codes
A Julia package for manipulating data in the Riemannian Manifold of Positive Definite Matrices
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
MQT QECC - Tools for Quantum Error Correcting Codes
MQT QMAP - A tool for Quantum Circuit Mapping written in C++
PhilipVinc / SteadyState.jl
Forked from TheorieMPQ/SteadyState.jlSimple WIP package inteded for iterative quantum open system steady-state determination.
Phase sensitive Cliffor simulator - implementation of https://arxiv.org/abs/1808.00128 section 4.1
Exact and approximate synthesis of single qubit circuits using Clifford and T gate library.
Qecsim is a Julia package for simulating quantum error correction using stabilizer codes.
Lean 3's obsolete mathematical components library: please use mathlib4
Package for Simulation, Tomography and Analysis of Quantum Computers