BB(5) paper
☆15Apr 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☆20May 27, 2026Updated last week
- Busy Beaver deciders backed by Coq proof☆18May 5, 2026Updated last month
- 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 6 months ago
- Tricubic interpolation from François Lekien☆17Dec 31, 2014Updated 11 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.
- 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☆27Nov 25, 2024Updated last year
- A collection of GitHub profiles of users who work on Electron-related projects☆15Aug 15, 2025Updated 9 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 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Developing with VSCode and ROS2☆17Dec 12, 2025Updated 5 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 2 weeks ago
- all the features of AI with 100% compute efficiency and no hardware requirements☆36Jul 17, 2025Updated 10 months ago
- ☆39Dec 17, 2023Updated 2 years ago
- Objective-C Coding Guidelines☆30May 18, 2026Updated 3 weeks ago
- ☆26Oct 23, 2023Updated 2 years ago
- A bot that loses at Rocket League☆34Jan 6, 2020Updated 6 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.
- Download all images from gc-disable composer thread comments☆30May 26, 2015Updated 11 years ago
- TinkerKit Project☆34Jun 26, 2017Updated 8 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆51Apr 26, 2026Updated last month
- CERN Library integrated library system.☆14May 11, 2026Updated 3 weeks ago
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 8 years ago
- Type safe Java Reflection☆11Apr 4, 2023Updated 3 years ago
- https://adventofcode.com/☆15Jan 9, 2026Updated 4 months ago
- Wildcard stablediffusion.vn☆31Aug 3, 2024Updated last year
- 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Website for LauzHack, EPFL's largest hackathon.☆12May 29, 2026Updated last 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