bbchallenge / bbchallengeLinks
Frontend of https://bbchallenge.org
☆17Updated last week
Alternatives and similar repositories for bbchallenge
Users that are interested in bbchallenge are comparing it to the libraries listed below
Sorting:
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated this week
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- A Chess Engine in PostScript☆58Updated 2 months ago
- Brainfuck compiler under 256 bytes in size.☆28Updated 3 years ago
- A bignum library for C.☆33Updated 11 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- An online visual debugger for esoteric languages☆50Updated last year
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- Metamath program - source code for the Metamath executable☆82Updated last month
- A concise golfing language☆21Updated 4 months ago
- Shabdle is Wordle in Hindi☆25Updated 3 months ago
- Convergence verification of the Collatz problem☆66Updated last month
- ☆11Updated 3 years ago
- Python implementation of the monster group☆48Updated 3 weeks ago
- Java implementations of sequences in the OEIS☆63Updated this week
- A number guessing game with a p-adic twist.☆9Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 2 months ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 5 years ago
- Fork of Python with some terrible custom features hacked in☆16Updated 2 years ago
- Befunge-93 interpreter written in Python with a debugger☆19Updated 8 years ago
- CPU design and toolchain for a simple computer architecture☆120Updated 10 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated last month
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 3 months ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year