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
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 9 months ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- A Small Combinator-Reduction System☆15Updated 5 years ago
- LODA Programs for Integer Sequences☆36Updated this week
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 4 years ago
- Higher Subleq is a simplified typeless C language.☆11Updated 9 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 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
- Here we give programs that check if Turing machines halt or not.☆14Updated 5 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Resurrecting PP-BESM☆26Updated 2 years ago
- ☆11Updated 3 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆28Updated 14 years ago
- Two Kilo—fully functional texteditor in 2 kb of C☆14Updated 5 years ago
- A two-dimensional, triangular programming language.☆18Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- A two-dimensional programming language from 1994.☆12Updated 8 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- lang Thue + Regex☆15Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- Prolog in AWK☆16Updated 8 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Updated 4 years ago
- A minimal RISC-V RV32I disassembler☆56Updated 4 years ago
- Automatically exported from code.google.com/p/libsum☆12Updated 10 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago