bbchallenge / bbchallenge-deciders
Here we give programs that check if Turing machines halt or not.
☆10Updated last month
Alternatives and similar repositories for bbchallenge-deciders:
Users that are interested in bbchallenge-deciders are comparing it to the libraries listed below
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆29Updated this week
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 3 years ago
- Matroids in Lean☆18Updated last year
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- ☆19Updated last year
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆17Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated last week
- A 2d "programming language" based around triangles☆10Updated last year
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 4 months ago
- Extra and extended datatypes for Lean 4☆11Updated 2 years ago
- Learn Lean and topology☆21Updated last year
- Source of metamath book☆46Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Inline Haskell inside your Python code☆25Updated 2 months ago
- SKI combinators☆51Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Quipu Programming Language☆19Updated 12 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆73Updated 4 months ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- Busy Beaver deciders backed by Coq proof☆41Updated 5 months ago
- Fork of Python with some terrible custom features hacked in☆16Updated 2 years ago
- An automated approach to the Collatz conjecture☆13Updated last year