nickdrozd / busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
☆11Updated 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
- A revival of the TREE-META compiler-compiler.☆12Updated 6 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 2 months ago
- Open source library to handle integers of any size in C☆13Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated last year
- Runtime Assembler for C++☆13Updated last year
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- Automatically exported from code.google.com/p/libsum☆12Updated 9 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆29Updated this week
- Here we give programs that check if Turing machines halt or not.☆10Updated this week
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆16Updated last year
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Resurrecting PP-BESM☆25Updated last year
- A C11 compiler for the discrete logic computer☆20Updated 9 months ago
- Prolog in AWK☆16Updated 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 2 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- A superset of brainfuck with dynamic memory management.☆27Updated 4 years ago
- ☆17Updated 4 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆14Updated 6 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆26Updated 13 years ago
- lang Thue + Regex☆14Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 2 weeks ago