AxQM — a proof-synthesis benchmark for quantum computing and quantum information, from Nielsen & Chuang, in Lean 4
☆13Sep 3, 2026Updated last month
Alternatives and similar repositories for AxQM
Users that are interested in AxQM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An 808-line Matlab educational code for combined multi-scale topology optimisation and phasor-based dehomogenisation☆26Dec 1, 2024Updated last year
- Sigil: an in-house RV64GCV RISC-V core and SoC with hardware hashing (SHA-2/SHA-3/Keccak) and signature verification (Ed25519, secp256k1)☆25Updated this week
- Compressed, associative, and exact hash table for k-mers☆11Oct 15, 2026Updated last week
- Recursive Language Model harness over a frozen Wikidata graph, with evaluation results☆10Oct 11, 2026Updated last week
- How many distinct k-mers are there in a sequence?☆11Feb 4, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Deep KiCad skills for coding agents☆23May 27, 2026Updated 4 months ago
- Open quantum computing course for teaching, self-study, exam preparation, and quantum-technology career preparation.☆58Aug 14, 2026Updated 2 months ago
- Free surface integral equation (SIE) method software for modeling light scattering in homogeneous, periodic, and layered environments.☆25Oct 14, 2026Updated last week
- Adaptive numerical solution of Kadanoff-Baym equations☆32Oct 1, 2026Updated 3 weeks ago
- Hierarchical matrix based 3D Galerkin boundary element method library☆14Sep 26, 2026Updated 3 weeks ago
- A reinforcement learning environment for PCB autorouting, built on KiCad's push-and-shove router. Includes a decoder-only PPO/GRPO agent,…☆32Updated this week
- A List of all the Indian Cities with their Geodata☆16Feb 20, 2021Updated 5 years ago
- ☆14May 13, 2024Updated 2 years ago
- MiniGhost Halo Exchange Mini-Application☆10Oct 6, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Benchmark data structures for kmer sets.☆13Aug 29, 2026Updated last month
- Rust bindings to Intelligent Storage Acceleration Library (ISA-L)☆15Feb 2, 2025Updated last year
- Lecture notes and other materials for MATH5836 course at UNSW☆12Feb 2, 2026Updated 8 months ago
- ☆15Aug 25, 2026Updated last month
- String algorithm visualizations☆14Feb 7, 2023Updated 3 years ago
- ☆14Jul 30, 2026Updated 2 months ago
- ☆11Jul 29, 2026Updated 2 months ago
- Laser-Atom interaction Simulator using quantum ElectroDynamics☆13May 18, 2022Updated 4 years ago
- Examples from Intel Fortran coarray tutorial☆14May 24, 2021Updated 5 years ago
- 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.
- C.U.P.S (Consortium for Upper-Level Physics Software) archive☆18Aug 30, 2021Updated 5 years ago
- A lightweight computational physics framework, based on the organization of turboWAVE. Implements a "Simulation, PhysicsModule, ComputeTo…☆12Jul 23, 2026Updated 3 months ago
- Optimal distance lower bound k-mer sampling.☆12Jun 19, 2024Updated 2 years ago
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- A simple introduction to quantum computing and programming through an easy to follow tutorial for the heat equation simulation.☆25Sep 2, 2026Updated last month
- Supplementary materials for the paper: Benchmarking the Parallel 1D Heat Equation Solver in Chapel, Charm++, C++, HPX, Go, Julia, Python,…☆15Sep 5, 2024Updated 2 years ago
- Contest Control System specifications☆11Sep 29, 2026Updated 3 weeks ago
- The Python code provided implements the matrix-valued version of the Minimal Pole Method (MPM)☆17Updated this week
- Implementation of the u-index☆12Jul 19, 2025Updated last year
- 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.
- torchami: Library for Algorithmic Matsubara Integration built using libtorch☆10Aug 20, 2025Updated last year
- Translator for SystemVerilog DUT code to gHDL compatible VHDL code.☆24Updated this week
- ☆16Oct 16, 2023Updated 3 years ago
- Meshless Multi-Physics Software☆14Jul 3, 2021Updated 5 years ago
- ☆14Jan 31, 2020Updated 6 years ago
- Kattis problem package format specification☆16Apr 19, 2026Updated 6 months ago
- Experiments, results, and misc. scripts.☆31Oct 2, 2026Updated 3 weeks ago