sligocki / busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
☆38Updated last week
Alternatives and similar repositories for busy-beaver
Users that are interested in busy-beaver are comparing it to the libraries listed below
Sorting:
- Busy Beaver deciders backed by Coq proof☆52Updated 2 months ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Calculates the uncomputable Busy Beaver Σ-function☆11Updated 8 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆81Updated this week
- Mathematical proofs of the bbchallenge project.☆24Updated 2 weeks ago
- Exponent pair database☆50Updated this week
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- A computer algebra system for research in combinatorial game theory☆40Updated last year
- LODA Programs for Integer Sequences☆34Updated this week
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆11Updated this week
- Structured BVA☆36Updated last year
- ☆13Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Tactics for discharging Lean goals into SMT solvers.☆177Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last week
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 2 weeks ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- Java implementations of sequences in the OEIS☆61Updated this week
- ☆21Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Here we give programs that check if Turing machines halt or not.☆13Updated 2 months ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- tool for turning Lean proofs into Blender animations☆68Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆70Updated last week
- A Low Barrier Proof Assistant☆109Updated this week
- Matroids in Lean☆18Updated last year
- Prediction algorithms for the PCG pseudo-random generator☆11Updated 4 years ago
- A repository for the Quest For Tetris☆182Updated 4 years ago
- Frontend of https://bbchallenge.org☆15Updated 3 weeks ago