Alternatives and similar repositories for beaver

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆46Updated 3 weeks ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 5 months ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated this week
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆197Updated 3 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 4 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆140Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆228Updated 9 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆77Updated 5 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 8 months ago
• MathBases / MathBases
  ☆25Updated last month
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 7 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆169Updated last year
• Spockuto / LSystems
  Fiddling with Lindenmayer systems
  ☆15Updated 2 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated last year
• teorth / symmetric_project
  ☆93Updated 2 years ago