A very fast and scalable quantum circuit optimizer
☆48Oct 16, 2026Updated this week
Alternatives and similar repositories for tzap
Users that are interested in tzap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 11 months ago
- Formalization of complexity theory☆27Oct 11, 2026Updated last week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆12Dec 20, 2023Updated 2 years ago
- A best-first-search theorem prover implemented in Isabelle☆37Jul 18, 2022Updated 4 years 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.
- ☆17Jan 5, 2022Updated 4 years ago
- Self-hostable marimo notebooks☆127Updated this week
- contains quantum neural network and quantum transformer repos☆12Apr 11, 2025Updated last year
- A Stim extension to non-computational errors such as leakage.☆22Oct 7, 2026Updated last week
- Claude Code skills for chess post-mortems: Stockfish-backed annotated PGN, HTML viewer, narrated video☆71Sep 26, 2026Updated 3 weeks ago
- An egglog-compatible but faster ahead-of-time compiling e-graph engine.☆24Jul 26, 2025Updated last year
- ☆72Updated this week
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 months ago
- ☆19Oct 12, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- Qubernetes CLI and Jupyter kernel for executing quantum programs in simulators on q8s clusters☆15Aug 17, 2026Updated 2 months ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆30Oct 10, 2026Updated last week
- TLA+ models of Linux kernel protocols☆33Oct 12, 2026Updated last week
- Container orchestrator and platform services☆12Aug 13, 2024Updated 2 years ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Example of Qibolab's platform initialization☆12Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Advanced MPI and parallel I/O☆13Nov 4, 2021Updated 4 years ago
- ☆13Dec 20, 2022Updated 3 years ago
- For performing data-driven 3D modeling & rendering. Useful Python scripts that can be copied into Blender under its scripting tab.☆12May 8, 2026Updated 5 months ago
- Local AI coding agent harness for AMD Strix Halo (Ryzen AI Max+ 395): Qwen3.8 125B on the iGPU, NPU side-jobs, crash recovery, logged ben…☆29Updated this week
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- A collection of awesome penetration testing resources, tools and other shiny things☆14Oct 10, 2017Updated 9 years ago
- An enhanced sine wave generator tailored for web applications, offering advanced features for creating dynamic, visually captivating sine…☆17Sep 16, 2026Updated last month
- Coq library for reasoning about quantum programs☆41Apr 3, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 8 months ago
- ☆11Sep 10, 2024Updated 2 years ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- ☆16Jan 18, 2021Updated 5 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- ☆12Feb 20, 2026Updated 7 months ago
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago