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☆49Updated 2 months ago
- metamath proof enumerators and other things☆92Updated last month
- The Principia Rewrite☆228Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Busy Beaver deciders backed by Coq proof☆59Updated 10 months ago
- Source of metamath book☆52Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆194Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆77Updated 6 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- A graphical interactive proof assistant designed for education☆170Updated last year
- Brzozowski derivative python sketch☆85Updated 9 months ago
- ☆27Updated 2 months ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Fiddling with Lindenmayer systems☆15Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Compiler for the M language, used to compute the income tax of French taxpayers☆198Updated 3 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆38Updated 8 months ago
- Animations of lambda term reduction sequences☆159Updated 7 years ago
- A toy Wolfram language interpreter.☆38Updated last year
- Java implementations of sequences in the OEIS☆68Updated this week
- Hash-based Diffing for AST's☆77Updated 5 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- Metamath source file for logic and set theory☆301Updated this week
- Metamath program - source code for the Metamath executable☆90Updated last month
- The Brown Benchmark for Table Types (B2T2)☆65Updated 5 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆89Updated 2 weeks ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆113Updated this week