Lean certificates accompanying ten proofs in mathematics and theoretical computer science
☆214Aug 5, 2026Updated 2 months ago
Alternatives and similar repositories for ten-proofs
Users that are interested in ten-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Lean formalization of a bound concerning long gaps between primes☆44Sep 3, 2026Updated last month
- ☆302Oct 6, 2026Updated last week
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- find your devices using bluetooth, available for linux CLI and Android Kotlin App☆74Aug 5, 2026Updated 2 months ago
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆281Updated this week
- 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.
- Instant MicroVMs/Unikernels for macOS and Linux☆41Aug 20, 2026Updated last month
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆26Jun 8, 2026Updated 4 months ago
- Lean certificates accompanying Navier-Stokes and Euler results☆2,101Sep 10, 2026Updated last month
- Scientific hypothesis-discovery workbench: grounded hypothesis-evidence graphs, synthetic literature with planted causal chains, generate…☆555Updated this week
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆167Sep 2, 2026Updated last month
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- 주요 LLM 트위터 인사들의 내용을 긱뉴스 형식으로 번역.☆11Feb 21, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- RCE PoC for Redis 6.2.22, 7.4.9, 8.6.4, 8.8.0, 8.8.1☆520Jul 24, 2026Updated 2 months ago
- The interface to communicate with bluefin spot protocol☆12Dec 10, 2025Updated 10 months ago
- Diagnose a car fault from its sound — an honest, end-to-end audio-ML pipeline (scrape → clean → CLAP → calibrated triage). Proof of conce…☆293Jul 5, 2026Updated 3 months ago
- ☆143Aug 12, 2026Updated 2 months ago
- PerceptionBench: Evaluating Atomic Visual Perception in Multimodal Large Language Models☆215Aug 3, 2026Updated 2 months ago
- Chat-based site builder for EmDash CMS — describe a site, watch an AI agent build it in a Cloudflare Sandbox☆79Updated this week
- AI-ready, type-safe Discord Bot template built with Bun + Biome + TypeScript.☆76Sep 1, 2026Updated last month
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Home to TypeScript packages for ChatGPT Sites☆32Sep 10, 2026Updated last month
- 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.
- Desktop provider switcher for Claude Code and Codex. Keep every endpoint, API key, and model in one place, switch the active provider in …☆17Updated this week
- ☆31Jan 5, 2025Updated last year
- E-waste calculations for the European Union☆11Nov 23, 2017Updated 8 years ago
- ☆268Sep 8, 2026Updated last month
- Want to play around with ARM64 assembly but aren't sure where to start? This project template will help.☆17Sep 4, 2024Updated 2 years ago
- Fast Rust launcher for DeepSeek Harness, with clear Claude Code/Codex migration, model setup and lightweight local tools☆83Updated this week
- My solutions for pwn and reversing challenges☆11Mar 18, 2018Updated 8 years ago
- A 25.7M-parameter GLM-5.3-Flash-inspired model trained from scratch and improved with executable-reward RL.☆141Aug 28, 2026Updated last month
- A Call of Duty-quality FPS in Three.js, built from a single prompt.☆3,470Jul 25, 2026Updated 2 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.
- A fence keeps things out, but also in. This project is still in early, and active development.☆157Updated this week
- ☆195Sep 11, 2026Updated last month
- I have started 100 days of code to document my coding journey and stay consistent also for accountability.☆16Aug 8, 2022Updated 4 years ago
- A formal proof of the Riemann Hypothesis for curves☆60Feb 6, 2026Updated 8 months ago
- AI Native IDE for reverse engineering☆296Updated this week
- NeuroCraft Fly by Evan Sinclair Smith: an interactive fruit-fly connectome model in Minecraft. Public project home and release roadmap.☆176Sep 6, 2026Updated last month
- ☆475Jul 31, 2026Updated 2 months ago