nickdrozd / busy-beaver-stuffLinks
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
Sorting:
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- New spell(1) implementation for NetBSD☆9Updated 7 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A rethinking of the C time library☆11Updated 4 months ago
- fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation☆10Updated 2 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆9Updated 4 years ago
- Compact, non-backtracking, unicode aware regular expressions in C89☆10Updated 2 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- x86 assembler in 512 bytes of x86 machine code☆35Updated 5 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 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
- Prolog in AWK☆16Updated 8 years ago
- A new city of code on a cosmopolitan foundation.☆20Updated 4 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- Higher Subleq is a simplified typeless C language.☆11Updated 9 years ago
- ☆11Updated 3 years ago
- 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
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- O(n log n) In-place Stable Quicksort☆18Updated 6 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Resurrecting PP-BESM☆26Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Brainfuck compiler under 256 bytes in size.☆28Updated 3 years ago
- Examples of self-modifying x86 linux assembly☆11Updated 3 years ago
- Convert Java bytecode to firm IR☆18Updated 8 years ago
- Boot2Now is a series of compilers in the form of bootable machine images☆18Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year