Frontend of https://bbchallenge.org
☆22Sep 29, 2026Updated last week
Alternatives and similar repositories for bbchallenge
Users that are interested in bbchallenge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BB(5) paper☆17Apr 3, 2026Updated 6 months ago
- Mathematical proofs of the bbchallenge project.☆27Sep 1, 2025Updated last year
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 4 months ago
- maps are everything.☆10Jul 3, 2025Updated last year
- ☆15Jul 22, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Goldbach conjecture = 25-state turing machine☆48May 21, 2026Updated 4 months ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- A demonstration of STM in Ruby using the Lee benchmark☆11Oct 30, 2020Updated 5 years ago
- An interpreter for the Assembly programming language.☆12Nov 9, 2020Updated 5 years ago
- Gas metering injector for eWASM in Golang.☆11Jul 29, 2019Updated 7 years ago
- Exposing Astronomical Arithmetic API in GeoServices (private iOS framework)☆11Jan 20, 2019Updated 7 years ago
- Julia wrapper to RED language API☆11Jul 3, 2017Updated 9 years ago
- All the files for my 16-bit GPU called the turtle card 200X3D.☆18Apr 24, 2025Updated last year
- An effect similar to Microsoft's Acrylic material achieved in the Godot Engine.☆12Jun 24, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An opinionated addon for WhiteNoise, with a focus on Django environments.☆17Jun 19, 2019Updated 7 years ago
- Generate the digits of Pi using a streaming algorithm☆13Jun 30, 2015Updated 11 years ago
- Decrypt Mach-O executables using injection☆20May 23, 2019Updated 7 years ago
- RTS sample project for the Defold game engine☆15May 29, 2026Updated 4 months ago
- Look up symbols in Mac executables, and search Cocoa’s classes☆13May 5, 2015Updated 11 years ago
- Riemann Hypothesis in Lean☆46Mar 3, 2021Updated 5 years ago
- Homebrew 8-bit CPU☆16Updated this week
- ☆16Feb 18, 2022Updated 4 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Dec 29, 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.
- [DEPRECATED] utility functions for several generative algorithms.☆10Sep 5, 2016Updated 10 years ago
- ☆14Mar 27, 2024Updated 2 years ago
- A plugin for the Kitura-Credentials framework that authenticates using HTTP Basic and Digest authentication☆16Nov 27, 2020Updated 5 years ago
- Implementation of Tetris in C.☆10Apr 5, 2018Updated 8 years ago
- ☆11Apr 9, 2023Updated 3 years ago
- Spacecraft Dynamics and Control☆17Aug 28, 2024Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- Twitter 1.1 API wrapper, built on top of AFNetworking and ReactiveCocoa. Compatible with iOS, 7.0+.☆15Jul 30, 2014Updated 12 years ago
- Busy Beaver deciders backed by Coq proof☆62Mar 2, 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.
- draw any file as a picture☆15Oct 16, 2013Updated 12 years ago
- A nicer wrapper for simctl☆14Mar 14, 2015Updated 11 years ago
- Portable C library to calculate integers and bitsets of arbitrary length☆16Apr 30, 2020Updated 6 years ago
- Store websites offline, and then run scripts on those saved websites.☆26Jan 6, 2023Updated 3 years ago
- Steps towards a PDF renderer for cmark using libharu☆14Jul 23, 2015Updated 11 years ago
- T1 Main Web Site☆14May 16, 2019Updated 7 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago