Frontend of https://bbchallenge.org
☆18Feb 18, 2026Updated last month
Alternatives and similar repositories for bbchallenge
Users that are interested in bbchallenge are comparing it to the libraries listed below
Sorting:
- Mathematical proofs of the bbchallenge project.☆24Sep 1, 2025Updated 6 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆19Aug 19, 2025Updated 7 months ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- [DEPRECATED] You should use web3.py instead.☆10Nov 24, 2016Updated 9 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated last month
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆12Nov 21, 2018Updated 7 years ago
- Exposing Astronomical Arithmetic API in GeoServices (private iOS framework)☆11Jan 20, 2019Updated 7 years ago
- High performance human detector☆24Oct 9, 2024Updated last year
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 8 months ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- All the files for my 16-bit GPU called the turtle card 200X3D.☆18Apr 24, 2025Updated 10 months ago
- Decrypt Mach-O executables using injection☆20May 23, 2019Updated 6 years ago
- SwapForth J1a processor for Icestudio☆12Aug 28, 2020Updated 5 years ago
- An effect similar to Microsoft's Acrylic material achieved in the Godot Engine.☆12Jun 24, 2023Updated 2 years ago
- 一个用于算法竞赛的在线评测系统。An online judge system for algorithm competition.☆15Jun 24, 2023Updated 2 years ago
- Advanced NLP, Fall 2025 https://cmu-l3.github.io/anlp-fall2025/☆56Jan 18, 2026Updated 2 months ago
- ANTLR4 grammar for all Magic: the Gathering cards in Guilds of Ravnica☆11Mar 2, 2023Updated 3 years ago
- [DEPRECATED] utility functions for several generative algorithms.☆10Sep 5, 2016Updated 9 years ago
- Implementation of Tetris in C.☆10Apr 5, 2018Updated 7 years ago
- A plugin for the Kitura-Credentials framework that authenticates using HTTP Basic and Digest authentication☆16Nov 27, 2020Updated 5 years ago
- cpp parser for reading a VCD (value change dump) file☆10Jul 15, 2013Updated 12 years ago
- ChunkManager for Godot: A dynamic chunk management system for 2D games in Godot, enabling efficient loading and unloading of tile chunks …☆13Aug 29, 2024Updated last year
- ☆17May 13, 2019Updated 6 years ago
- Custom Node in the godot engine. Attachable to LineEdit to create auto complete menu☆16Jan 26, 2025Updated last year
- Combinatorial game library in Lean 4☆56Updated this week
- Daily creative coding sketches for Genuary 2024☆15Feb 1, 2024Updated 2 years ago
- T1 Main Web Site☆14May 16, 2019Updated 6 years ago
- Postscript Virtual Machine using Lua☆16Jul 28, 2020Updated 5 years ago
- A nicer wrapper for simctl☆14Mar 14, 2015Updated 11 years ago
- ray casting with special relativistic effects☆14May 10, 2023Updated 2 years ago
- Homebrew 8-bit CPU☆15Jan 28, 2026Updated last month
- Half-precision floating point for NumPy☆13Nov 10, 2010Updated 15 years ago
- A web browser engine + frontend built in Kotlin from mostly scratch☆14Sep 20, 2023Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- A home-made stack based language heavily inspired from PostScript☆11Jan 24, 2020Updated 6 years ago
- wyReferee - referee client for osu!☆12Mar 12, 2026Updated last week
- Coronal Mass Exception: Flip random bits in a running process.☆14Sep 27, 2020Updated 5 years ago
- CLI to batch deregister applications in macOS LaunchServices database☆22May 18, 2017Updated 8 years ago
- A customized copy of OpenOCD able to access the jtagd/jtagserver distributed with Quartus. At present it is restricted to accessing the A…☆13Aug 18, 2025Updated 7 months ago