bbchallenge / bbchallengeLinks
Frontend of https://bbchallenge.org
☆19Updated this 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☆42Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆91Updated this week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 6 months ago
- Convergence verification of the Collatz problem☆67Updated 2 months ago
- metamath proof enumerators and other things☆94Updated last year
- Java implementations of sequences in the OEIS☆64Updated this week
- Here we give programs that check if Turing machines halt or not.☆14Updated 4 months ago
- ☆13Updated last year
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Mathematical proofs of the bbchallenge project.☆25Updated 3 months ago
- ☆11Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- A Chess Engine in PostScript☆58Updated 3 weeks ago
- The classic C solver and tcl/tk frontend.☆25Updated 2 months ago
- LODA Programs for Integer Sequences☆36Updated this week
- Calculates the uncomputable Busy Beaver Σ-function☆11Updated 9 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 5 months ago
- Tool for euclidean geometry aware of logic☆87Updated last year
- Metamath source file for logic and set theory☆288Updated this week
- The single instruction language - Flip a bit, then Jump☆122Updated 6 months ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- Using meet-in-the-middle to solve the Rubik's cube☆80Updated 2 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 3 years ago
- ☆23Updated this week
- A computer algebra system for research in combinatorial game theory☆44Updated last year
- Runtime and miner for the LODA language written in C++☆26Updated last week
- ☆322Updated 4 months ago
- ☆40Updated 9 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago