nickdrozd / busy-beaver-stuffLinks
Tools for finding and analyzing Busy Beaver programs for Turing machines
☆12Updated this week
Alternatives and similar repositories for busy-beaver-stuff
Users that are interested in busy-beaver-stuff are comparing it to the libraries listed below
Sorting:
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Higher Subleq is a simplified typeless C language.☆12Updated 9 years ago
- lang Thue + Regex☆15Updated 3 years ago
- Resurrecting PP-BESM☆26Updated 2 years ago
- A two-dimensional programming language from 1994.☆12Updated 8 years ago
- Prolog in AWK☆16Updated 8 years ago
- Here we give programs that check if Turing machines halt or not.☆11Updated 5 months ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- Two Kilo—fully functional texteditor in 2 kb of C☆14Updated 5 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆28Updated 14 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 10 months ago
- A Small Combinator-Reduction System☆15Updated 5 years ago
- Richard's compiler bootstrap experiment☆46Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 7 months ago
- x86 assembler in 512 bytes of x86 machine code☆34Updated 5 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆10Updated 2 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- The fractal land generator☆15Updated 6 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆18Updated 3 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Updated 8 years ago
- A superset of brainfuck with dynamic memory management.☆29Updated 4 years ago
- Make and evolve a GUI and its toolkit simultaneously☆15Updated 6 years ago
- A two-dimensional, triangular programming language.☆18Updated 4 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- GNU SETL☆30Updated 6 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- LODA Programs for Integer Sequences☆37Updated this week