Tools for finding and analyzing Busy Beaver programs for Turing machines
β14Jul 20, 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 4 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
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Flash Attention & friends in pure Juliaβ19Jun 17, 2026Updated last month
- 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 2 years ago
- Diff two unist treesβ14Aug 21, 2020Updated 5 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/ with patches for yubikey supportβ10Aug 14, 2020Updated 5 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
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 9P kernel modulesβ10Aug 25, 2014Updated 11 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
- π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskellβ16Updated this week
- Python Unicode Block Utilitiesβ24Oct 23, 2025Updated 8 months ago
- web framework in C++ built over cppcmsβ25Jun 15, 2015Updated 11 years ago
- Measuring Thinking Efficiency in Reasoning Models - Research Repositoryβ39Dec 2, 2025Updated 7 months ago
- β21Sep 24, 2022Updated 3 years ago
- logging library for rayonβ17Sep 14, 2020Updated 5 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 8 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 4 years ago
- A medieval script fontβ25Aug 3, 2024Updated last year
- Source of BLAS via BLISβ13May 24, 2026Updated last month
- β29Jan 13, 2026Updated 6 months 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.
- Realtime operating system kernel for TI TMS320F24x DSPβ15Jun 7, 2013Updated 13 years 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 6 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 3 months ago
- Origen drivers/APIs for ATE tester platformsβ16Jun 30, 2026Updated 2 weeks ago
- Reading whitespace-separated values in Rustβ11Nov 29, 2019Updated 6 years ago