bbchallenge / bbchallenge
Frontend of https://bbchallenge.org
☆13Updated 3 weeks ago
Alternatives and similar repositories for bbchallenge:
Users that are interested in bbchallenge are comparing it to the libraries listed below
- A Chess Engine in PostScript☆58Updated last week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆36Updated this week
- LODA Programs for Integer Sequences☆33Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- IOCCC International Obfuscated C code contest entries☆138Updated 5 years ago
- Convergence verification of the Collatz problem☆64Updated 3 weeks ago
- an IDE that uses myHDL, yosys, and arachne-pnr to target the ICEStick☆12Updated 8 years ago
- Xee source code for xCode 4.5☆58Updated 12 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated last month
- x86 assembler in 512 bytes of x86 machine code☆33Updated 5 years ago
- A bignum library for C.☆33Updated 8 months ago
- metamath proof enumerators and other things☆93Updated 7 months ago
- ☆11Updated 2 years ago
- ☆39Updated 3 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- A solver for halting problem of Brainfuck programs☆16Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆48Updated last week
- interactive math, intuitively☆37Updated 2 weeks ago
- ☆48Updated 2 weeks ago
- Brainfuck compiler under 256 bytes in size.☆27Updated 3 years ago
- Tetris in a small virtual machine (11 lines of C)☆22Updated 4 months ago
- A little experiment, please ignore☆17Updated 9 years ago
- First person Mario.☆78Updated 8 months ago
- TinyFive is a lightweight RISC-V emulator and assembler written in Python with neural network examples☆54Updated last year
- knot theory and computational algebra software☆37Updated 10 years ago
- a bot for explain xkcd☆13Updated 2 months ago
- Django front-end to Mathics3☆111Updated this week
- Chess + fairy chess + atomic chess + custom rules/boards/pieces + AI☆11Updated 6 years ago
- Exploring the space of all possible programs☆27Updated 11 years ago
- CDL Hardware implementations; BBC microcomputer, RISC-V (numerous), frame buffers, JTAG, etc☆16Updated 5 years ago