Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
☆20Oct 29, 2021Updated 4 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☆62Mar 2, 2025Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Mathematical proofs of the bbchallenge project.☆27Sep 1, 2025Updated 11 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆51Jul 20, 2026Updated 3 weeks ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 2 years ago
- Coq library on rewriting theory and termination☆37Jul 7, 2026Updated last month
- Supplementary Data for Evolving Reinforcement Learning Algorithms☆47Mar 15, 2021Updated 5 years ago
- ☆12Mar 31, 2024Updated 2 years ago
- ☆23Dec 3, 2024Updated last year
- Code that searches for ribbon bands☆18Jul 3, 2026Updated last month
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- Schemes in Lean (v2)☆45Jul 30, 2020Updated 6 years ago
- JavaScript/TypeScript to Swift Transpiler aka JSON with functions☆26Jan 11, 2017Updated 9 years 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.
- different AI algorithms to solve board games☆18Nov 4, 2018Updated 7 years ago
- Template for a basic academic page☆19Jun 23, 2026Updated last month
- Beginning of formal language theory☆24Dec 7, 2019Updated 6 years ago
- metamath proof enumerators and other things☆98Nov 16, 2025Updated 8 months ago
- ☆349Apr 19, 2018Updated 8 years ago
- ☆27May 23, 2022Updated 4 years ago
- A modern string diagram editor for the web.☆27Apr 22, 2025Updated last year
- This example shows how rings network works in wasm and browser envirement.☆14Jan 22, 2024Updated 2 years ago
- Automaton & Cognition☆17Apr 14, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- The root repository for the SpectralSequences project.☆34Updated this week
- This contains example code from "A Primer on Topological Data Analysis to Support Image Analysis Tasks in Environmental Science" for runn…☆10Oct 10, 2022Updated 3 years ago
- Official repository of the Autosubst 2 project.☆27May 8, 2023Updated 3 years ago
- Surface geometry plugin for Rhinoceros 3D☆11Aug 21, 2018Updated 7 years ago
- Quaternions for Julia☆28Jul 20, 2026Updated 3 weeks ago
- ☆97Nov 12, 2023Updated 2 years ago
- ☆28Sep 8, 2023Updated 2 years ago
- Qiskit provider for Quantinuum backends.☆26Mar 13, 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.
- 🦀 High-performance local RAG server in Rust that integrates with Claude Desktop via MCP. Search PDF documents privately using Ollama emb…☆33Jun 11, 2025Updated last year
- FOLPSν is a code for efficiently evaluating the redshift space power spectrum in the presence of massive neutrinos☆11Jun 22, 2025Updated last year
- Material for the course Theories of Quantum Matter at the University of Cambridge☆12Jan 20, 2023Updated 3 years ago
- Learning with Data on Riemannian Manifolds☆13Mar 19, 2026Updated 4 months ago
- Web Simulation of 3D distribution of galaxies < 200 Mpc from Milky Way☆11Jul 8, 2025Updated last year
- [NLPCC'23] ZeroGen: Zero-shot Multimodal Controllable Text Generation with Multiple Oracles PyTorch Implementation☆14Oct 7, 2023Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆16Sep 1, 2025Updated 11 months ago