Calculates the uncomputable Busy Beaver Σ-function
☆11May 23, 2016Updated 9 years ago
Alternatives and similar repositories for busy-beaver
Users that are interested in busy-beaver are comparing it to the libraries listed below
Sorting:
- Simulating Turing machines for the Busy Beaver game☆13Feb 12, 2022Updated 4 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated last month
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 4 years ago
- Computational Craft Class at Bauhaus-Uni Weimar☆28Apr 2, 2015Updated 10 years ago
- Randomly assign targets and guidelines for the Hitman "World of Assassination" trilogy of video games.☆10Feb 28, 2026Updated last week
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- minidlna plugin for OpenMediaVault☆10Jan 3, 2026Updated 2 months ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- practical guides, tutorials, and code samples for ml4a☆10Mar 26, 2019Updated 6 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 8 months ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- ☆10Nov 9, 2020Updated 5 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- [AAAI 2021 Workshop] The official repository for the LST-MAP model for few-shot image classification.☆13Feb 12, 2021Updated 5 years ago
- metamath proof enumerators and other things☆95Nov 16, 2025Updated 3 months ago
- My entries for the JS1K competition☆32Oct 4, 2019Updated 6 years ago
- An implementation of the Xerox IFS protocol suite☆12Oct 3, 2023Updated 2 years ago
- Hardware random number generator for FPGAs☆10May 7, 2015Updated 10 years ago
- An R package for the Latent Environmental & Genetic InTeraction (LEGIT) model☆11Feb 11, 2021Updated 5 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Unlambda interpreter☆11Jul 9, 2024Updated last year
- Fourmilab Blockchain Tools provide a variety of utilities for users, experimenters, and researchers working with blockchain-based cryptoc…☆15Aug 20, 2023Updated 2 years ago
- Music Visualizer Processing Sketch☆13Mar 14, 2014Updated 11 years ago
- The FreeDOS mouse driver☆16May 7, 2016Updated 9 years ago
- Marching Squares implementation for Processing based on https://github.com/murphydactyl/JavaKinectFingerTracker/☆13Sep 10, 2012Updated 13 years ago
- minimalist class construction☆19Sep 4, 2020Updated 5 years ago
- Utility commands for Maestro operating system☆14Oct 30, 2025Updated 4 months ago
- Multilayer modelling of the human transcriptome and biological mechanisms of complex diseases and traits☆11Jun 2, 2021Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- A tool to understand how buildings perform in terms of occupant comfort. https://lmnarchitects.com/tech-studio/☆10Oct 7, 2019Updated 6 years ago
- A snake game for MS-DOS. 🐍☆19Sep 3, 2024Updated last year
- Flight simulator demo for Arduboy☆11Aug 16, 2019Updated 6 years ago