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
  ☆57Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆99Updated last week
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆66Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated this week
• ericastor / rmzoo
  ☆15Updated last year
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆25Updated last month
• Anon52MI4 / oeis-alien
  ☆20Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆81Updated this week
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆49Updated 8 months ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated 2 years ago
• teorth / expdb
  Exponent pair database
  ☆62Updated last week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆69Updated 2 weeks ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last month
• MathBases / MathBases
  ☆24Updated last month
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 3 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆26Updated 2 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• teorth / symmetric_project
  ☆93Updated last year
• bbchallenge / bbchallenge
  Frontend of https://bbchallenge.org
  ☆18Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year