qqq-wisc / wisqView external linksLinks
☆29Feb 9, 2026Updated last week
Alternatives and similar repositories for wisq
Users that are interested in wisq are comparing it to the libraries listed below
Sorting:
- ☆17Jan 30, 2024Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- Lattice surgery quantum error correction compiler☆81Jan 19, 2026Updated 3 weeks ago
- Python package that generates QSP/GQSP phase factors using Non-Linear Fourier Analysis☆15Feb 9, 2026Updated last week
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆12May 13, 2019Updated 6 years ago
- ☆12Jan 12, 2024Updated 2 years ago
- Quantum Accelerated Genome Sequencing☆11Sep 7, 2021Updated 4 years ago
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 10, 2026Updated last week
- ☆16May 8, 2020Updated 5 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Chromaria is a software platform for artificial life experiments. http://eplex.cs.ucf.edu/chromaria/home.☆12Jun 7, 2021Updated 4 years ago
- a high-performance parallel SimulatOr for universal Fault-Tolerant quantum circuits☆19Feb 9, 2026Updated last week
- ☆11Apr 24, 2025Updated 9 months ago
- r2con 2020 CTF kernel challenge☆12Sep 13, 2020Updated 5 years ago
- ☆13May 10, 2024Updated last year
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- ☆10Oct 7, 2021Updated 4 years ago
- This is a biweekly mini-project series.☆13Jul 7, 2021Updated 4 years ago
- ☆12Jul 20, 2023Updated 2 years ago
- A framework for simulating quantum mechanical thought experiments in projectq☆12Sep 27, 2019Updated 6 years ago
- ☆11Jul 19, 2017Updated 8 years ago
- ☆10Mar 4, 2023Updated 2 years ago
- Java-like Language with Static Information Flow Types☆13May 5, 2025Updated 9 months ago
- QIsim: Architecting 10+K Qubit QC Interfaces Toward Quantum Supremacy, ISCA'23☆18Jun 27, 2023Updated 2 years ago
- Package for computing the Atos Q-score.☆16Mar 31, 2023Updated 2 years ago
- Distributed QC for Qiskit☆14Jan 18, 2024Updated 2 years ago
- Public release of stabilizer TN publication☆13Sep 26, 2025Updated 4 months ago
- Repository for the Online Algorithmic Complexity Calculator☆14Apr 4, 2025Updated 10 months ago
- ☆12Nov 21, 2016Updated 9 years ago
- Artifact package for CBMM paper (ATC'22)☆11Jun 5, 2022Updated 3 years ago
- Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.☆15Apr 21, 2021Updated 4 years ago
- ☆13Feb 6, 2026Updated last week
- A pure userspace filesystem developed on SPDK's block device layer, optimized for high-speed storage devices (NVMe/PMEM) in high-concurre…☆26Oct 20, 2025Updated 3 months ago
- ☆14Nov 16, 2020Updated 5 years ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Aug 23, 2022Updated 3 years ago
- MQT ZX - A library for working with ZX-diagrams☆18Jun 15, 2023Updated 2 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆17May 20, 2025Updated 8 months ago
- Ultra-Large-Scale Quantum Circuit Design Automation☆13Jan 8, 2026Updated last month