Tools for finding and analyzing Busy Beaver programs for Turing machines
β14Sep 18, 2026Updated 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. 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.π«β12Sep 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
- β15May 29, 2025Updated last year
- 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.
- Flash Attention & friends in pure Juliaβ20Jun 17, 2026Updated 3 months ago
- A js lib for Tiled map editorβ13Apr 2, 2019Updated 7 years ago
- β15Mar 11, 2021Updated 5 years ago
- utility to create an element from a simple CSS selectorβ13Aug 1, 2023Updated 3 years ago
- Diff two unist treesβ14Aug 21, 2020Updated 6 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
- A tool for extracting plain text from Wikipedia dumpsβ15Oct 3, 2019Updated 6 years ago
- Tools for analyzing how the Rust ecosystem is using the languageβ12Jan 21, 2015Updated 11 years ago
- Zig UEFI FreeType Demoβ17Sep 25, 2019Updated 6 years 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.
- 9P kernel modulesβ10Aug 25, 2014Updated 12 years ago
- The code for EMNLP2022 paper "Improved grammatical error correction by ranking elementary edits"β21Dec 14, 2022Updated 3 years ago
- Substring searching in rustβ16May 1, 2016Updated 10 years ago
- Python Unicode Block Utilitiesβ24Oct 23, 2025Updated 10 months ago
- π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskellβ16Updated this week
- web framework in C++ built over cppcmsβ25Jun 15, 2015Updated 11 years ago
- Measuring Thinking Efficiency in Reasoning Models - Research Repositoryβ40Dec 2, 2025Updated 9 months ago
- β21Sep 24, 2022Updated 3 years ago
- logging library for rayonβ17Sep 14, 2020Updated 6 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.
- 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
- Persistent BLock Cacheβ11Sep 26, 2017Updated 8 years ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/yelp-toolsβ12Nov 18, 2025Updated 10 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
- Optimized for systems that read and write large blobs.β12Mar 23, 2015Updated 11 years ago
- UEFI signing tools for Linux -- Forked to support AWS CloudHSMβ13Aug 25, 2021Updated 5 years ago
- A medieval script fontβ25Aug 3, 2024Updated 2 years ago
- Source of BLAS via BLISβ13May 24, 2026Updated 3 months ago
- Realtime operating system kernel for TI TMS320F24x DSPβ15Jun 7, 2013Updated 13 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- β29Jan 13, 2026Updated 8 months ago
- evcxr support for drawing petgraph graphs in jupyter notebookβ13Oct 24, 2020Updated 5 years ago
- Code for AINL2018 paper Deep Convolutional Networks for Supervised Morpheme Segmentation of Russian Languageβ25Aug 23, 2019Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem provingβ12Mar 28, 2018Updated 8 years ago
- This repository contains a non-copying implementation of a sliding windows iterator adaptor.β11Mar 21, 2026Updated 5 months ago
- Reading whitespace-separated values in Rustβ11Nov 29, 2019Updated 6 years ago
- β20Mar 20, 2017Updated 9 years ago