eterevsky / beaverLinks
A solver for halting problem of Brainfuck programs
☆18Updated 5 years ago
Alternatives and similar repositories for beaver
Users that are interested in beaver are comparing it to the libraries listed below
Sorting:
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- metamath proof enumerators and other things☆91Updated last week
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- Online BDD Simulation Tool☆21Updated 3 months ago
- The Principia Rewrite☆227Updated 9 months ago
- Brzozowski derivative python sketch☆85Updated 6 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- Formalizing results about the Mandelbrot set in Lean☆26Updated this week
- LODA Programs for Integer Sequences☆36Updated this week
- Tool for euclidean geometry aware of logic☆88Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Source of metamath book☆51Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆172Updated last week
- ☆53Updated 2 months ago
- Metamath verifier in Python☆39Updated 4 months ago
- Fiddling with Lindenmayer systems☆15Updated 2 years ago
- A Low Barrier Proof Assistant☆139Updated this week
- Conjure: The Automated Constraint Modelling Tool☆106Updated last month
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 4 years ago
- A small, weird and unpractical programming language.☆103Updated last week
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- Programming with pure lambda calculus☆127Updated 3 weeks ago
- Catalog of visual lambda calculi☆157Updated 3 months ago