Lists (11)
Starred repositories
Cloudflare Turnstile integration for React.
Lean 4 theorem proving skill and workflow pack for AI coding agents
Lean 4 programming language and theorem prover
Automated PQC readiness scanner for discovering cryptographic services and generating initial migration inventory.
An open-source vibe coding platform that helps you build your own vibe-coding platform, built entirely on Cloudflare stack
A cross-platform documentation for installing and using SQLite extensions in different environments.
Qᴜᴀʟᴛʀᴀɴ is a Python library for expressing and analyzing Fault Tolerant Quantum algorithms.
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
Patched Attention for Nonlinear Dynamics [ICLR 2026]
A 15TB Collection of Physics Simulation Datasets
Contains material for the PennyLane tutorial at CERN on 3/4 February 2021.
Disable temporal dithering on your Mac with this lightweight menu bar app. Designed for Apple silicon Macs.
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
measurement-based quantum computing (MBQC) library
Repository with Python/Qiskit implementation of the Dicke states preparation algorithm by Bärtschi and Eidenbenz
The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
A collection of Jupyter notebooks developed by the community showing how to use Qiskit
A simple way to calibrate your neural network.
Riemann Hypothesis in Lean
Hyperledger FireFly is the first open source Supernode: a complete stack for enterprises to build and scale secure Web3 applications. The FireFly API for digital assets, data flows, and blockchain …
Reinforcement learning based framework to optimize liquidity provisioning in Uniswap V3
Modular, Production-Ready, Open-Source EHR