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.
☆24Jul 3, 2026Updated 2 weeks ago
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 2 months ago
- ☆18Jan 20, 2025Updated last year
- a web page / paper☆18Feb 24, 2017Updated 9 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Aug 13, 2019Updated 6 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years 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.
- Plugin for EPUB ebooks' edition☆13Dec 9, 2015Updated 10 years ago
- Maxi Metro is a Traffic game inspired by Mini Metro. It is writen in Python using Pygame. Should be multi user some day.☆18Aug 6, 2015Updated 10 years ago
- ☆21Jan 22, 2026Updated 5 months ago
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆24Updated this week
- A flat-file PHP wiki engine. No database, no complex setup, just write.☆30Apr 20, 2026Updated 3 months ago
- UniGen approximately uniform sampler☆38Jul 24, 2025Updated 11 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆44Feb 27, 2026Updated 4 months ago
- Make complex code changes easier to follow and safer to change.☆28Updated this week
- Lock-free queues.☆21Dec 10, 2023Updated 2 years 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.
- Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)☆31May 13, 2026Updated 2 months ago
- Artificial Intelligence for Buddy Matt Entertainment's Chain Reaction☆22Sep 12, 2015Updated 10 years ago
- ☆12Mar 25, 2024Updated 2 years ago
- Apps that run on modal.com☆13Sep 14, 2025Updated 10 months ago
- A tree-sitter grammar for git commit messages☆14Jun 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
- ☆11Oct 11, 2023Updated 2 years ago
- The backend behind the LLM-Perf Leaderboard☆11May 5, 2024Updated 2 years ago
- Experiment with diffusion models that you can run on your local jupyter instances☆67Oct 27, 2024Updated last year
- 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.
- Multimodal data loader compatible with pytorch and tensorflow☆12Aug 14, 2024Updated last year
- ☆104Updated this week
- Build your own custom knowledge base from various sources such as youtube videos transcripts, tweets, articles, videos and audios. Uses G…☆13Dec 15, 2023Updated 2 years ago
- ☆14Jun 30, 2026Updated 2 weeks ago
- Detect circular dependencies in your TypeScript projects with `Rust`.☆17Sep 12, 2025Updated 10 months ago
- A cross-platform library for retrieving information about connected devices.☆11Sep 5, 2023Updated 2 years ago
- Lock-free buddy allocator based on binary heap☆14Mar 3, 2025Updated last year
- ☆17Jun 14, 2025Updated last year
- 一个轻巧的全局状态共享管理库, 基于 vue3 reactive , 支持typescript☆14Oct 26, 2020Updated 5 years 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.
- ☆11Jan 28, 2024Updated 2 years ago
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆25Feb 8, 2026Updated 5 months ago
- Query, analysis, and visualization of large video collections☆10Dec 9, 2022Updated 3 years ago
- Showcase how to use requestVideoFrameCallback to accurate switch beween frames☆23Aug 30, 2023Updated 2 years ago
- ☆12Aug 26, 2024Updated last year
- A framework for evaluating the effectiveness of chain-of-thought reasoning in language models.☆19Feb 6, 2025Updated last year
- This example shows how a multitenant service can distribute requests evenly among multiple Azure OpenAI Service instances and manage toke…☆14Jan 9, 2024Updated 2 years ago