bbchallenge / bbchallengeLinks
Frontend of https://bbchallenge.org
☆15Updated last week
Alternatives and similar repositories for bbchallenge
Users that are interested in bbchallenge are comparing it to the libraries listed below
Sorting:
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- A Chess Engine in PostScript☆58Updated 2 months ago
- ☆11Updated 3 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆38Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Here we give programs that check if Turing machines halt or not.☆13Updated 2 months ago
- metamath proof enumerators and other things☆93Updated 10 months ago
- A bignum library for C.☆33Updated 10 months ago
- An online math contest platform☆19Updated 2 months ago
- An interactive exploration of various number formats☆30Updated 6 months ago
- Chess + fairy chess + atomic chess + custom rules/boards/pieces + AI☆11Updated 6 years ago
- An auto craft script for the game Infinite Craft.☆11Updated last year
- Convergence verification of the Collatz problem☆66Updated 3 weeks ago
- Mathematical proofs of the bbchallenge project.☆24Updated last month
- https://briancallahan.net/blog/20220220.html☆30Updated last year
- Complicated math expression generator☆102Updated 11 months ago
- LZ77 quine puzzle☆31Updated 4 years ago
- Compiling C to FlipJump☆90Updated 4 months ago
- Newcomer friendly project implementing a few oeis.org sequences.☆25Updated last year
- An experimental non-deterministic concatenative golfing language☆24Updated 2 months ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆63Updated 5 months ago
- A brainfuck (http://en.wikipedia.org/wiki/Brainfuck) self-interpreter. That is - a brainfuck interpreter, in brainfuck.☆16Updated 12 years ago
- An online visual debugger for esoteric languages☆50Updated last year
- A next-generation high-performance operating system focused on enterprise-level resilience☆83Updated 8 months ago
- Temporary test IOCCC web site that will go away☆49Updated 5 months ago
- Gridbach's core algorithmic logic☆18Updated 2 months ago
- Digital Logic Design (The Game)☆23Updated 2 years ago
- Xee source code for xCode 4.5☆58Updated 12 years ago
- Program a bot using assembly-like code in this competitive game!☆59Updated 4 years ago