Hamiltonian decomposition of Z_m^3 Cayley digraphs for all m > 2 — a complete solution to Knuth's "Claude's Cycles," found by LLM agents under a structured exploration prompt. Constructions, proofs, Lean formalization, and a verification suite.
☆27Jul 3, 2026Updated last month
Alternatives and similar repositories for residue
Users that are interested in residue are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11May 8, 2026Updated 3 months ago
- Code for the MTEB Arena☆25Jul 2, 2025Updated last year
- Minimax AI for standard checkers☆11Jul 9, 2016Updated 10 years ago
- iOS, macOS, and visionOS app to browse the tvOS 15 screensavers☆10May 4, 2024Updated 2 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆21Jan 22, 2026Updated 6 months ago
- An open tvOS, iOS and macOS app to play free and publicly available classic movies from Internet Archive☆10Oct 30, 2022Updated 3 years ago
- Python wrapper for extracting information from Scirate☆13Jul 21, 2023Updated 3 years ago
- Othello reinforcement learning game playing engine☆16Jun 30, 2016Updated 10 years ago
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆29Updated this week
- This is the Python-based repository for Variational LOCC-assisted quantum circuits for long-range entangled states.☆11Nov 6, 2025Updated 9 months ago
- Code to accompany "Reversing unknown quantum transformations: A universal protocol for inverting general unitary operations"☆12Jan 4, 2022Updated 4 years ago
- Experiements on how conditional mutual information affects the performance of neural quantum states.☆13Oct 31, 2024Updated last year
- Make complex code changes easier to follow and safer to change.☆28Aug 3, 2026Updated last 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.
- ☆15Jul 15, 2025Updated last year
- This project contains the code and data accompanying our paper "Certifying almost all quantum states with few single-qubit measurements".☆12Nov 27, 2024Updated last year
- TurboDB — a blazing-fast NoSQL document database written in Zig. mmap + WAL + B-tree + MVCC.☆20May 1, 2026Updated 3 months ago
- ☆12Mar 25, 2024Updated 2 years ago
- ☆13Nov 5, 2024Updated last year
- ☆14Apr 1, 2026Updated 4 months ago
- BrainFuck just-in-time compiler☆33Jan 22, 2026Updated 6 months ago
- telescope.nvim extension will fetch & parse text files from Github and provide a list of Markdown Code Fences that you can paste into a b…☆14Feb 1, 2026Updated 6 months ago
- Tensorflow 1.x Quantum Simulator☆14Jun 17, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of sparse Pauli dynamics in Python☆16Jun 25, 2026Updated last month
- ☆18Oct 16, 2024Updated last year
- Simulation of boson sampling based quantum supremacy experiments using supercomputers.☆11Aug 1, 2024Updated 2 years ago
- Apps that run on modal.com☆13Sep 14, 2025Updated 10 months ago
- ☆11Nov 5, 2024Updated last year
- Go package that wraps around OpenAI HTTP APIs☆12Mar 2, 2023Updated 3 years ago
- A tree-sitter grammar for git commit messages☆13Jun 27, 2025Updated last year
- I wanted to mess around with HTMX and Service Workers, so this combines both of them in the worst way possible.☆13Feb 12, 2024Updated 2 years ago
- A Mathematica package to perform numerical computations on quantum many body physics problems☆12Jul 5, 2020Updated 6 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.
- ☆11Oct 11, 2023Updated 2 years ago
- Multimodal data loader compatible with pytorch and tensorflow☆12Aug 14, 2024Updated last year
- Examples for running TeNPy☆16Jul 22, 2026Updated 2 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆45Feb 27, 2026Updated 5 months ago
- ☆15Updated this week
- ☆17Jun 30, 2026Updated last month
- Command-line utility for iteratively developing pipelines, deploying them at scale, and sharing data and derivatives☆10Jun 15, 2020Updated 6 years ago