Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
☆20Oct 29, 2021Updated 5 years ago
Alternatives and similar repositories for Turing
Users that are interested in Turing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Busy Beaver deciders backed by Coq proof☆64Mar 2, 2025Updated last year
- Busy Beaver deciders backed by Coq proof☆23Updated this week
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- A Lean 4 formalization of Chen's theorem (Goldbach 1+2).☆22Updated this week
- Bézier curves in Haskell☆29Oct 1, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Proétale cohomology in Lean☆17Sep 29, 2026Updated last month
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆51Updated this week
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- Simple visualized cetz editor☆12Oct 8, 2026Updated 3 weeks ago
- Constraint solver based on abstract interpretation☆11Dec 20, 2024Updated last year
- Python package to convert LaTeX markup to DOM☆16Oct 15, 2026Updated 2 weeks ago
- Tools for writing good AI generated papers☆17Updated this week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Oct 22, 2026Updated last week
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated last year
- 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.
- Set Theory Game☆31Oct 17, 2026Updated last week
- ☆34Oct 8, 2026Updated 3 weeks ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Homotopy type theory☆14Sep 21, 2022Updated 4 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆24Jul 27, 2026Updated 3 months ago
- Programming in Haskell (2nd ed) by Graham Hutton☆14Dec 4, 2024Updated last year
- Experimental type-checker for internally parametric type theory☆33Mar 27, 2025Updated last year
- 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.
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- ☆12Mar 31, 2024Updated 2 years ago
- A GUI for watching Leela Zero self train☆45Apr 18, 2020Updated 6 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆44Oct 19, 2026Updated last week
- How to say it using Mathlib.☆21Updated this week
- ☆22Dec 3, 2024Updated last year
- Beginning of formal language theory☆24Dec 7, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A data-oriented proof assistant☆37Updated this week
- different AI algorithms to solve board games☆18Nov 4, 2018Updated 7 years ago
- Effective Algebraic Topology in Haskell☆94Sep 8, 2026Updated last month
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Feb 25, 2021Updated 5 years ago
- Template for a basic academic page☆19Jun 23, 2026Updated 4 months ago
- Schemes in Lean (v2)☆46Jul 30, 2020Updated 6 years ago
- ☆69Sep 13, 2022Updated 4 years ago