cslarsen / busy-beaverLinks
Calculates the uncomputable Busy Beaver Σ-function
☆11Updated 9 years ago
Alternatives and similar repositories for busy-beaver
Users that are interested in busy-beaver are comparing it to the libraries listed below
Sorting:
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- metamath proof enumerators and other things☆91Updated last week
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Updated 5 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated last month
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- LODA Programs for Integer Sequences☆36Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Quipu Programming Language☆20Updated 12 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- ☆20Updated 2 years ago
- Cellular automata search program☆26Updated 3 years ago
- Continued fraction library☆32Updated 5 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆63Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- Metamath verifier in Python☆39Updated 4 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆12Updated last week
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- An automated approach to the Collatz conjecture☆12Updated 2 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆29Updated 10 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆172Updated last week
- Aheui interpreter in Javascript☆22Updated 8 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 8 years ago
- Python term rewriting☆30Updated 12 years ago
- Resurrecting PP-BESM☆26Updated last week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated 2 years ago