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
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 weeks ago
- A Small Combinator-Reduction System☆15Updated 5 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- lang Thue + Regex☆15Updated 3 years ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated 3 months ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 10 months ago
- Resurrecting PP-BESM☆26Updated 2 years ago
- quick c☆35Updated 3 years ago
- x86 assembler in 512 bytes of x86 machine code☆35Updated 5 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☆29Updated 14 years ago
- Carpet fractal genetic algorithm☆12Updated 7 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
- Original Joy☆10Updated 9 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆17Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 8 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 3 years ago
- The fractal land generator☆15Updated 6 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Prolog in AWK☆16Updated 8 years ago
- Tetris in a small virtual machine (11 lines of C)☆22Updated 10 months ago
- The GNU Superoptimizer☆26Updated 11 years ago
- Richard's compiler bootstrap experiment☆46Updated 2 years ago