Alternatives and similar repositories for busy-beaver:

Users that are interested in busy-beaver are comparing it to the libraries listed below

• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆47Updated 7 months ago
• ericastor / rmzoo
  ☆14Updated 11 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 7 months ago
• ccz181078 / Coq-BB5
  ☆187Updated 3 weeks ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆16Updated 4 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆59Updated this week
• b-mehta / exponential-ramsey
  ☆14Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆74Updated this week
• primo-ppcg / BF-Crunch
  ☆11Updated 2 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated 3 months ago
• teorth / expdb
  Exponent pair database
  ☆41Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆167Updated last week
• teorth / symmetric_project
  ☆86Updated last year
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆10Updated 8 years ago
• ah1112 / synthetic_euclid_4
  ☆10Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆42Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 3 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆46Updated this week
• Kroneckera / bunkbed-counterexample
  ☆14Updated 5 months ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆40Updated 4 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆133Updated 9 months ago
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆11Updated last week
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆38Updated 2 weeks ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆64Updated 2 weeks ago
• barakeel / oeis-synthesis
  ☆22Updated 2 weeks ago