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
  ☆41Updated 6 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago
• ccz181078 / Coq-BB5
  ☆170Updated last month
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆71Updated this week
• teorth / expdb
  Exponent pair database
  ☆21Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 3 weeks ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆162Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• teorth / symmetric_project
  ☆86Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆36Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆71Updated this week
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆37Updated last week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆57Updated this week
• b-mehta / exponential-ramsey
  ☆13Updated last year
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆41Updated 3 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated 2 months ago
• barakeel / oeis-synthesis
  ☆22Updated this week
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆127Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆46Updated last year
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆187Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆143Updated this week
• firetto / Walnut
  ☆9Updated 10 months ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆10Updated 8 years ago