Lean 4 formalization of Knuth's 'Claude's Cycles' paper
☆16Aug 26, 2026Updated last month
Alternatives and similar repositories for KnuthClaudeLean
Users that are interested in KnuthClaudeLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- 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 …☆27Jul 3, 2026Updated 3 months ago
- OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)☆30Oct 8, 2026Updated last week
- Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matr…☆41Updated this week
- Learn Lean 4 by fixing 70 small exercises, one at a time☆27Sep 8, 2026Updated last month
- 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.
- common functions to be used in pyqgis and python qgis plugins☆12Jun 11, 2019Updated 7 years ago
- Looking for factors indicating fraud using insurance claims data.☆11Feb 21, 2019Updated 7 years ago
- Erdős Problem #870: paper and sorry-free, axiom-clean Lean 4 formalization.☆21Jun 26, 2026Updated 3 months ago
- ☆14Apr 1, 2026Updated 6 months ago
- ☆12Nov 22, 2022Updated 3 years ago
- A Sidekiq plugin that provides an MCP (Model Context Protocol) server for LLMs to interact with Sidekiq queues, stats, and failed jobs☆16Jul 27, 2026Updated 2 months ago
- Scripts and instructions to build FreeBSD for the Pine64 board☆11Apr 17, 2017Updated 9 years ago
- Formalization of complexity theory☆29Oct 11, 2026Updated last week
- ☆16Jul 15, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Ruby library for parsing, validating, and generating Package URLs (PURLs) as defined by the PURL specification☆13Updated this week
- MCP server for maigret, a powerful OSINT tool that collects user account information from various public sources.☆13Mar 3, 2025Updated last year
- Random password generator☆18Mar 10, 2021Updated 5 years ago
- hashtray is an OSINT (Open Source Intelligence) tool designed to find a Gravatar account associated with an email address and to locate a…☆10May 30, 2026Updated 4 months ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- Notebooks for time-series forecasting (SARIMA)☆10Apr 22, 2019Updated 7 years ago
- A Javascript Gamepad API wrapper and mapping tool☆14Aug 29, 2026Updated last month
- A conda-smithy repository for ollama.☆10Aug 27, 2026Updated last month
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- iOS, macOS, and visionOS app to browse the tvOS 15 screensavers☆10May 4, 2024Updated 2 years ago
- Generate and parse SoftWare Hash IDentifiers (SWHIDs)☆12Oct 4, 2026Updated 2 weeks ago
- Let's play a simple game. Once I will pick a number between 1 and 10 then you will guess, alright? Don't forget, you have only 3 chances …☆10Dec 14, 2023Updated 2 years ago
- Schema migrations for Postgresql built with doobie☆10Jan 27, 2022Updated 4 years ago
- A list of publicly available resources regarding the SAS7BDAT file format☆11Jan 10, 2022Updated 4 years ago
- OpenAI API Benchmarking Tool☆16May 3, 2026Updated 5 months ago
- Source code for Part 2 of Hands on APIs for AI and Data Science☆16Mar 10, 2025Updated last year
- The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered application…☆21Aug 9, 2025Updated last year
- Agent registry for Eve and Flue☆52Jul 3, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A React Native boilerplate app to get you up and running very, very quickly☆12Jun 25, 2021Updated 5 years ago
- ☆15Oct 18, 2021Updated 5 years ago
- ☆18Jul 30, 2026Updated 2 months ago
- Applies default ordering to EntityFramework queries based on fluent configuration☆14Updated this week
- Simple projects made with Python, JavaScript, HTML, CSS☆12Apr 17, 2023Updated 3 years ago
- Search this list of OSINT Practitioners and learn about OSINT, it includes numerous, blogs and tutorials.☆10Oct 15, 2023Updated 3 years ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago