nickdrozd / busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
☆11Updated last 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.☆14Updated 6 years ago
- Open source library to handle integers of any size in C☆14Updated last year
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- Library for creation of SAT instances.☆18Updated 2 years ago
- LODA Programs for Integer Sequences☆33Updated this week
- The GNU Superoptimizer☆26Updated 10 years ago
- Resurrecting PP-BESM☆25Updated last year
- ☆11Updated 3 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 4 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- lang Thue + Regex☆14Updated 2 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Runnable pseudocode for Finite State Entropy compression☆27Updated 7 years ago
- arbitrary precision arithmetic library☆42Updated 6 years ago
- Matroids in Lean☆18Updated last year
- A BASIC to Brainf**k compiler written in Rust☆12Updated 7 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆36Updated this week
- Runtime Assembler for C++☆13Updated last year
- A C11 compiler for the discrete logic computer☆20Updated 11 months 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
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- HC-256 Stream cipher in x86 assembly☆19Updated 7 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago