cslarsen / busy-beaverView external linksLinks
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
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 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
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated 3 weeks ago
- Collection of interpreters for esoteric programming languages☆15Jul 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.☆10Dec 7, 2025Updated 2 months ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- ☆10Nov 9, 2020Updated 5 years ago
- minidlna plugin for OpenMediaVault☆10Jan 3, 2026Updated last month
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 2 weeks ago
- [AAAI 2021 Workshop] The official repository for the LST-MAP model for few-shot image classification.☆13Feb 12, 2021Updated 5 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 7 months ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- metamath proof enumerators and other things☆93Nov 16, 2025Updated 2 months ago
- My entries for the JS1K competition☆32Oct 4, 2019Updated 6 years ago
- Hardware random number generator for FPGAs☆10May 7, 2015Updated 10 years ago
- Source Code form some "accient" Modula-2 Compilers from the ETHZ. Forked from http://www.cfbsoftware.com/modula2/.☆10Nov 18, 2021Updated 4 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- MARS_NWE NetWare Emulator☆13Oct 2, 2024Updated last year
- An R package for the Latent Environmental & Genetic InTeraction (LEGIT) model☆11Feb 11, 2021Updated 5 years ago
- Filesystem browser written in RapidApp☆11Oct 26, 2020Updated 5 years ago
- A Fix-pointed Rudimentary CNN Convolution Accelerator☆16Oct 7, 2020Updated 5 years ago
- Interactive crafting tree diagram viewer written in p5.js☆12Sep 14, 2021Updated 4 years ago
- Visual search interface☆11Nov 30, 2021Updated 4 years ago
- Solvers and makers for Pencil Puzzles☆19Nov 15, 2011Updated 14 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- Standalone utility to encrypt files with ice encryption, that doesn't depend on Steam.☆10Aug 28, 2013Updated 12 years ago
- Net::SIP Perl Module☆16Nov 10, 2025Updated 3 months ago
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated 9 months ago
- Baremetal softwares for TrivialMIPS platform☆11Aug 12, 2019Updated 6 years ago
- FOCAL interpreter in lex/yacc/c, which runs all of the classic Digital (DEC) FOCAL programs like Lunar Lander and Hamurabi.☆17Apr 8, 2025Updated 10 months ago
- Procedurally generated 3D clouds in the browser.☆12Jul 11, 2023Updated 2 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 10 months ago