bbchallenge / bbchallengeLinks
Frontend of https://bbchallenge.org
☆18Updated last month
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☆49Updated last week
- Mathematical proofs of the bbchallenge project.☆24Updated 5 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆116Updated this week
- Convergence verification of the Collatz problem☆73Updated 2 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- ☆14Updated last year
- Busy Beaver deciders backed by Coq proof☆61Updated 10 months ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- ☆12Updated 3 years ago
- Metamath source file for logic and set theory☆302Updated last week
- Java implementations of sequences in the OEIS☆68Updated last week
- Python implementation of the monster group☆57Updated 3 weeks ago
- Django front-end to Mathics3☆119Updated this week
- ☆14Updated 7 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Updated 11 months ago
- Metamath program - source code for the Metamath executable☆91Updated 2 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 weeks ago
- Exponent pair database☆68Updated last month
- ☆22Updated 3 years ago
- Runtime and miner for the LODA language written in C++☆28Updated this week
- Scriptable pattern editor and viewer for many families of cellular automata☆33Updated last week
- Source files for https://web.evanchen.cc☆62Updated this week
- Tool for euclidean geometry aware of logic☆88Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated 2 years ago
- The single instruction language - Flip a bit, then Jump☆131Updated last year
- ☆355Updated 4 months ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Updated 3 years ago
- Blueprint for the PNT+ Project☆250Updated this week
- Cellular automata search program☆26Updated 3 years ago
- Summer of Math Exposition☆31Updated last week