eterevsky / beaver
A solver for halting problem of Brainfuck programs
☆16Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for beaver
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 2 weeks ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 10 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated 2 months ago
- Online BDD Simulation Tool☆17Updated 2 years ago
- A programming language that deduces code from tests☆30Updated 6 years ago
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆39Updated 4 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆63Updated 6 years ago
- library learning w egraphs☆17Updated last year
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆77Updated last month
- Very controlled natural language tactics for Lean☆61Updated 10 months ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆16Updated 3 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆65Updated this week
- Hoare Type Theory☆69Updated last month
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆90Updated last year
- Learn Lean and topology☆20Updated last year
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- metamath proof enumerators and other things☆87Updated 4 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year
- Hash-based Diffing for AST's☆75Updated 4 years ago
- Datalog + Egg = Good☆65Updated last year
- Metamath verifier in Python☆34Updated 7 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆67Updated this week
- ☆158Updated this week