Lean 4 formalization of Knuth's 'Claude's Cycles' paper
☆17Aug 26, 2026Updated 2 months ago
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…☆24Updated this week
- Erdős Problem #870: paper and sorry-free, axiom-clean Lean 4 formalization.☆21Jun 26, 2026Updated 4 months ago
- ☆14Apr 1, 2026Updated 7 months ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- A Ruby library for parsing, validating, and generating Package URLs (PURLs) as defined by the PURL specification☆13Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A React Native boilerplate app to get you up and running very, very quickly☆12Jun 25, 2021Updated 5 years ago
- Generate and parse SoftWare Hash IDentifiers (SWHIDs)☆12Nov 2, 2026Updated last week
- OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)☆30Oct 8, 2026Updated last month
- Lean 4 Zstandard (RFC 8878) decompression: C FFI bindings and pure-Lean implementation with formal proofs☆11Sep 1, 2026Updated 2 months ago
- A meta-registry and package manager for WebAssembly☆18Updated this week
- A .NET tool that compares two Word/Excel documents side by side using the Word/Excel built-in document comparison feature.☆13Nov 2, 2026Updated last week
- Build-time sponsorship verification for NuGet packages — nudge consumers of an OSS library to sponsor its author, in the spirit of the Op…☆17Nov 2, 2026Updated last week
- Control Star ceiling-fan using Raspberry Pi and CC1101 Transceiver☆12Oct 10, 2026Updated last month
- Terminal UI and local CLI for crawling GitHub issues and pull requests, generating embeddings, and clustering related work.☆22May 9, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- Tiny QA Benchmark++ a micro-benchmark suite (52-item gold + on-demand multilingual synthetic packs), generator CLI, and CI-ready eval har…☆18Apr 30, 2026Updated 6 months ago
- Tamagotchi-inspired AI agent that evolves with financial data! Raise your "Finance Pet" using real ops datasets (vendors, invoices, payme…☆12Apr 30, 2026Updated 6 months ago
- Script to sync your read books from Audible to Goodreads and StoryGraph.☆14Jun 28, 2025Updated last year
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated last year
- Learn Lean 4 by fixing 70 small exercises, one at a time☆27Sep 8, 2026Updated 2 months ago
- Type-Safe Errors for JS & TypeScript☆15Jul 29, 2025Updated last year
- Functional Programming in Lean の日本語訳. 演習問題への解答を含みます☆12Dec 14, 2024Updated last year
- MA4N1 Theorem Proving with Lean☆19Oct 28, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Bluesky Social application for Web, iOS, and Android☆13Jan 9, 2026Updated 10 months ago
- Code and models used in Freecad tutorials☆11Mar 19, 2023Updated 3 years ago
- 获取pikpak的下载链接☆11Jun 30, 2023Updated 3 years ago
- Fetch information about a public Google document.☆15Aug 4, 2023Updated 3 years ago
- Implementation of stabilizer codes in pyQuil☆11Jan 29, 2020Updated 6 years ago
- ☆25Oct 22, 2026Updated 2 weeks ago
- Fastest one-click OpenClaw deploy on Render. Simple, easy setup. Powered by AlphaClaw.☆18Jul 12, 2026Updated 3 months ago
- A Zellij plugin to get weather information inside the terminal☆23Nov 24, 2023Updated 2 years ago
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months 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.
- ☆12Jan 25, 2026Updated 9 months ago
- Инструкции по бытовому каждодневному поиску☆18Oct 5, 2024Updated 2 years ago
- The VObject library for PHP allows you to easily parse and manipulate iCalendar and vCard objects☆13Updated this week
- An experimental python library to compile and analyze the cost of any desired composite simulation in real or imaginary time, and with or…☆11Feb 9, 2024Updated 2 years ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆31Oct 22, 2026Updated 2 weeks ago
- A Starter Kit for Front-ends to build HTML pages☆14Jun 9, 2018Updated 8 years ago
- Storing multiple tarballs in git to save space☆26Nov 2, 2026Updated last week
Are these results useful?