bbchallenge / bbchallenge-deciders
Here we give programs that check if Turing machines halt or not.
☆11Updated 2 weeks ago
Alternatives and similar repositories for bbchallenge-deciders:
Users that are interested in bbchallenge-deciders are comparing it to the libraries listed below
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆30Updated 2 weeks ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- lang Thue + Regex☆14Updated 2 years ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆47Updated 6 months ago
- Matroids in Lean☆18Updated last year
- Mathematical proofs of the bbchallenge project.☆17Updated 3 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆17Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- ☆19Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Metamath verifier in Python☆37Updated 10 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆9Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated last month
- metamath proof enumerators and other things☆90Updated 6 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- A string-based esoteric programming language.☆10Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Simple operating system for QEMU's virt board.☆10Updated 3 years ago
- Source of metamath book☆47Updated last year
- Mathematical notes and papers☆25Updated last month