Implementation of a Turing Machine that runs the Busy Beaver programs.
☆24Nov 25, 2009Updated 16 years ago
Alternatives and similar repositories for busy-beaver
Users that are interested in busy-beaver 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
- Outsourcing parts of my brain into the cloud.☆10Jun 2, 2025Updated last year
- 基于 WebDriver BiDi 协议的 Firefox 浏览器自动化框架☆19Apr 8, 2026Updated 6 months ago
- Turn off highlighted text after set time period in Neovim☆12May 4, 2024Updated 2 years ago
- ☆13Nov 4, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Linear Algebra for Machine Learning Book Exercises☆13May 19, 2019Updated 7 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- youdao dict☆10Oct 22, 2019Updated 7 years ago
- Fork of Toodledo API python module from http://code.google.com/p/poodledo/☆10Sep 22, 2011Updated 15 years ago
- ☆12May 17, 2021Updated 5 years ago
- ESP-IDF component for programming WCH microcontrollers using the proprietary two-wire RVSWD protocol.☆12Jul 29, 2026Updated 3 months ago
- ☆11Feb 17, 2023Updated 3 years ago
- Advent Of Code (AoC) helper for Zig☆14Dec 10, 2025Updated 10 months ago
- ☆11Aug 16, 2023Updated 3 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.
- ETF交易☆12May 20, 2022Updated 4 years ago
- A C17 compiler written in Rust☆13Jul 16, 2025Updated last year
- ☆10Jul 6, 2023Updated 3 years ago
- A configurable processing element for deep neural network accelerators☆10Sep 22, 2018Updated 8 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Jul 11, 2015Updated 11 years ago
- A rudimentary operating system☆16Aug 15, 2019Updated 7 years ago
- A JIT compiler for the BASIC programming language☆13Dec 10, 2021Updated 4 years ago
- Synchronous use of two LS7366R decoders on Arduino env☆12Sep 9, 2014Updated 12 years ago
- B22202 - A Practical Guide to Reinforcement Learning from Human Feedback☆20Mar 6, 2026Updated 8 months 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.
- A μKanren implementation in Python 3, with an Object-Oriented flavor☆10May 12, 2016Updated 10 years ago
- A python-based transactional level model for a Eyeriss as a systolic array☆10Dec 19, 2018Updated 7 years ago
- Tools to help train for the Donkey Car machine learning racing☆14Jul 28, 2021Updated 5 years ago
- Muestrario de estructuras de datos☆14Mar 12, 2020Updated 6 years ago
- ☆12Aug 18, 2020Updated 6 years ago
- CAN bus to MQTT bridge with extensive parametrization for translation between CAN message and MQTT topic and payload string☆12Jan 31, 2026Updated 9 months ago
- Be API implementation for Linux kernel and Android binder☆12Sep 19, 2023Updated 3 years ago
- ☆12Sep 25, 2016Updated 10 years ago
- Anki Overdrive API for Python☆13Oct 21, 2017Updated 9 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.
- Drone Racing Gate Dataset☆20Oct 18, 2026Updated 2 weeks ago
- ☆13Mar 17, 2021Updated 5 years ago
- HW-aware training extension to AIHWKIT-Lightning for MoEs☆11Sep 18, 2025Updated last year
- Deep-learning AI for a robotic foosball opponent☆14Dec 12, 2017Updated 8 years ago
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 8 years ago
- A collection of Data Science focused notebook engines☆12Jul 28, 2021Updated 5 years ago
- a list of awesome papers on deep model ompression and acceleration☆10Jan 29, 2018Updated 8 years ago