BB(5) paper
☆16Apr 3, 2026Updated 2 months ago
Alternatives and similar repositories for bbchallenge-paper
Users that are interested in bbchallenge-paper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Frontend of https://bbchallenge.org☆21Jun 17, 2026Updated 2 weeks ago
- Busy Beaver deciders backed by Coq proof☆18Jun 16, 2026Updated 2 weeks ago
- A MIDI controlled subtractive synthesiser built using the JUCE audio application framework and Maximillian audio synthesis and signal pro…☆12Oct 24, 2020Updated 5 years ago
- Pytorch implementation of modified Bessel functions☆11Nov 13, 2025Updated 7 months ago
- Tricubic interpolation from François Lekien☆17Dec 31, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- RLBot for Rust☆21Jul 1, 2020Updated 5 years ago
- Arduino controlled through Scratch: software and firmware☆11Feb 2, 2014Updated 12 years ago
- Use sqlite to profile your rust program heap☆25Nov 27, 2024Updated last year
- Calibration of 4D STEM dataset☆28Nov 25, 2024Updated last year
- A collection of GitHub profiles of users who work on Electron-related projects☆15Aug 15, 2025Updated 10 months ago
- Small Processing Script that allows you to use a standard Computer-Keyboard as an accordion MIDI-Controller☆19May 18, 2021Updated 5 years ago
- *n*-dimensional R2R/R2C/C2C FFT and R2R DCT (rustfft + ndarray)☆31Feb 8, 2026Updated 4 months ago
- Lightweight Micro Operating System☆65May 12, 2020Updated 6 years ago
- ☆21Jun 18, 2021Updated 5 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.
- Developing with VSCode and ROS2☆17Dec 12, 2025Updated 6 months ago
- A simple C++ library that reads and parses binary MIDI files☆14May 9, 2025Updated last year
- ☆18Jan 20, 2023Updated 3 years ago
- riCOM (real time centre of mass) application for 4D STEM☆33May 19, 2026Updated last month
- all the features of AI with 100% compute efficiency and no hardware requirements☆37Jul 17, 2025Updated 11 months ago
- ☆41Dec 17, 2023Updated 2 years ago
- Objective-C Coding Guidelines☆30May 18, 2026Updated last month
- ☆26Oct 23, 2023Updated 2 years ago
- A bot that loses at Rocket League☆34Jan 6, 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.
- Download all images from gc-disable composer thread comments☆30May 26, 2015Updated 11 years ago
- TinkerKit Project☆34Jun 26, 2017Updated 9 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆51Updated this week
- CERN Library integrated library system.☆14Jun 19, 2026Updated last week
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 9 years ago
- Type safe Java Reflection☆11Apr 4, 2023Updated 3 years ago
- Wildcard stablediffusion.vn☆31Aug 3, 2024Updated last year
- https://adventofcode.com/☆15Jan 9, 2026Updated 5 months ago
- An eBook tool to extract ISBN or Metadata form eBook and rename them by using ISBN database and Metadata☆29Jul 7, 2015Updated 10 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.
- Website for LauzHack, EPFL's largest hackathon.☆12Updated this week
- Auto-process and upload JWST images to Twitter☆22Apr 18, 2025Updated last year
- Sane interface to moodle☆14Sep 21, 2017Updated 8 years ago
- ☆12May 12, 2022Updated 4 years ago
- A portable linker for multiple file formats.☆14Aug 28, 2023Updated 2 years ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- ☆22Jul 5, 2022Updated 3 years ago