LeanInteract: A Python Interface for Lean 4

Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.

Declarative visualization library for Python

Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.

A graphical tool for the ZX calculus

A fast stabilizer circuit library.

Universal quantum circuit sampler based on ZX stabilizer rank decomposition

Command-line interface for Zotero

jax for quantum simulations

Quantum Systems Tools

Right-size my figures

A system for agentic LLM-powered data processing and ETL

Quantum computing > Algorithmic lattice surgery.

Qᴜᴀʟᴛʀᴀɴ is a Python library for expressing and analyzing Fault Tolerant Quantum algorithms.

Python package that generates QSP/GQSP phase factors using Non-Linear Fourier Analysis

A collection of code snippets to generate quantum circuits for data encodings

Design automation software tools for Topological Quantum Error Correction

https://superstaq.readthedocs.io