Tools for finding and analyzing Busy Beaver programs for Turing machines
β14Oct 20, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for finding Busy Beaver Turing Machines and Proving others as non-haltingβ51Updated this week
- I used to drink coffee a lot. But oolong has become my favorite recently. Hope you like it too.π«β11Sep 13, 2021Updated 5 years ago
- Minimum Description Length probing for neural network representationsβ20Jan 28, 2025Updated last year
- Utilities for PyTorch distributedβ26Feb 27, 2025Updated last year
- Short stories that take too long to write.β15Oct 11, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Flash Attention & friends in pure Juliaβ20Jun 17, 2026Updated 4 months ago
- A js lib for Tiled map editorβ13Apr 2, 2019Updated 7 years ago
- β15Mar 11, 2021Updated 5 years ago
- A Small Combinator-Reduction Systemβ18Jul 14, 2020Updated 6 years ago
- A tool for extracting plain text from Wikipedia dumpsβ15Oct 3, 2019Updated 7 years ago
- plugin to classify @mentions as syntax, not natural languageβ11Sep 7, 2023Updated 3 years ago
- web framework in C++ built over cppcmsβ25Jun 15, 2015Updated 11 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/ with patches for yubikey supportβ10Aug 14, 2020Updated 6 years ago
- The code for EMNLP2022 paper "Improved grammatical error correction by ranking elementary edits"β21Dec 14, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Optimized for systems that read and write large blobs.β12Mar 23, 2015Updated 11 years ago
- Substring searching in rustβ16May 1, 2016Updated 10 years ago
- Diff two unist treesβ15Aug 21, 2020Updated 6 years ago
- Python Unicode Block Utilitiesβ24Oct 23, 2025Updated last year
- β23Jan 19, 2023Updated 3 years ago
- Tools for analyzing how the Rust ecosystem is using the languageβ12Jan 21, 2015Updated 11 years ago
- Measuring Thinking Efficiency in Reasoning Models - Research Repositoryβ40Dec 2, 2025Updated 10 months ago
- β17Nov 4, 2019Updated 6 years ago
- utility to create an element from a simple CSS selectorβ14Aug 1, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- logging library for rayonβ17Sep 14, 2020Updated 6 years ago
- 9P kernel modulesβ10Aug 25, 2014Updated 12 years ago
- Tool to decrypt Artifactory encrypted secretsβ12Feb 28, 2022Updated 4 years ago
- Persistent BLock Cacheβ11Sep 26, 2017Updated 9 years ago
- A Mirror of whatfreewordsβ14May 1, 2021Updated 5 years ago
- My kupfer plugins install with Kupferβ11Dec 26, 2022Updated 3 years ago
- π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskellβ16Oct 15, 2026Updated 2 weeks ago
- Tracks dependencies for Windows EXE and DLL PE-files (Portable Executable), resembles ldd from libcβ15Jul 13, 2026Updated 3 months ago
- Custom-built Bulgarian language data sets, used by ΠΠ·ΠΡΠΊΠΈ.ML for sentiment analysis, text classification, summarisation and generation. Oβ¦β19Jan 12, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Zig UEFI FreeType Demoβ17Sep 25, 2019Updated 7 years ago
- A medieval script fontβ25Aug 3, 2024Updated 2 years ago
- Shell-Craft harnesses the potential of OpenAI's API to execute prompts, generate shell commands, and auto-fill templates seamlessly inteβ¦β12Nov 10, 2023Updated 2 years ago
- Realtime operating system kernel for TI TMS320F24x DSPβ15Jun 7, 2013Updated 13 years ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/yelp-toolsβ12Nov 18, 2025Updated 11 months ago
- β21Sep 24, 2022Updated 4 years ago
- Experiment and learn how compilers, linkers and C runtime work cooperativelyβ10Jan 31, 2020Updated 6 years ago