nickdrozd / busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
☆11Updated 2 weeks ago
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.☆15Updated 6 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- 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 rethinking of the C time library☆10Updated last month
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- Examples of self-modifying x86 linux assembly☆10Updated 3 years ago
- x86 assembler in 512 bytes of x86 machine code☆33Updated 5 years ago
- Brainfuck compiler under 256 bytes in size.☆28Updated 3 years ago
- fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation☆10Updated 2 years ago
- Open source library to handle integers of any size in C☆14Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- Convert ELF executables to DOS executables☆32Updated 5 years ago
- Automatically exported from code.google.com/p/libsum☆12Updated 10 years ago
- Two Kilo—fully functional texteditor in 2 kb of C☆13Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- risc-v assembly language☆10Updated 3 years ago
- A minimal RISC-V RV32I disassembler☆55Updated 3 years ago
- Counting the collisions with perl hash tables per function☆12Updated 5 years ago
- for science☆10Updated 5 years ago
- Teeny Tiny Compiler built in Rust☆16Updated last year
- Bootstrapping VM for bare metal to trusted C compilation☆46Updated 5 months ago
- Runnable pseudocode for Finite State Entropy compression☆28Updated 7 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- A new city of code on a cosmopolitan foundation.☆20Updated 4 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- ☆8Updated 4 years ago
- An implementation of the hammer2 filesystem for Plan 9☆19Updated 6 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago