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
  ☆48Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆10Updated 8 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated 4 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆78Updated this week
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆11Updated last week
• teorth / expdb
  Exponent pair database
  ☆42Updated this week
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆42Updated 3 years ago
• ericastor / rmzoo
  ☆14Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated 3 weeks ago
• 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
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆14Updated last year
• barakeel / oeis-synthesis
  ☆22Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• petersn / autosat
  Library for creation of SAT instances.
  ☆19Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆30Updated 7 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• ruehlef / ribbon
  Code that searches for ribbon bands
  ☆16Updated 2 months ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆172Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 4 months ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year