cslarsen / busy-beaver
Calculates the uncomputable Busy Beaver Σ-function
☆10Updated 8 years ago
Alternatives and similar repositories for busy-beaver:
Users that are interested in busy-beaver are comparing it to the libraries listed below
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆41Updated 6 months ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆17Updated 4 years ago
- Quipu Programming Language☆19Updated 12 years ago
- sorear's Metamath system engine - version 3 Rust☆23Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆34Updated 3 weeks ago
- A simple Brainfuck JIT written as a learning exercise.☆15Updated 5 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 7 years ago
- Continued fraction library☆27Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ☆19Updated 2 years ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago
- LODA Programs for Integer Sequences☆33Updated this week
- A fungeoid language where bends in the chain determine the instructions☆12Updated 3 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆17Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- Exploring the space of all possible programs☆27Updated 11 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- A superset of brainfuck with dynamic memory management.☆27Updated 4 years ago
- ☆14Updated last year
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- metamath proof enumerators and other things☆90Updated 6 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 5 months ago
- Binary lambda calculus☆9Updated 7 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago