Here we give programs that check if Turing machines halt or not.
☆17Sep 1, 2025Updated last year
Alternatives and similar repositories for bbchallenge-deciders
Users that are interested in bbchallenge-deciders are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A parser of relational predicate logic & truth tree solver, written in Rust.☆21May 1, 2019Updated 7 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆28Oct 13, 2026Updated 2 weeks ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 3 months ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆17Jan 25, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆21May 11, 2023Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆64Mar 2, 2025Updated last year
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 3 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Design, play with, and analyze sequent calculus proof systems.☆16Sep 5, 2024Updated 2 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- egui integration for the smithay wayland compositor framework☆22Aug 28, 2026Updated 2 months ago
- Busy Beaver deciders backed by Coq proof☆23Updated this week
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago
- A simple concurrent programming language.☆24Nov 3, 2020Updated 5 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆25Oct 4, 2020Updated 6 years ago
- An encyclopedia of proofs☆68Nov 11, 2024Updated last year
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Oct 15, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Assembler for the MOS 6502☆13Nov 12, 2017Updated 8 years ago
- Python term rewriting☆31Feb 14, 2013Updated 13 years ago
- Algebraic proof discovery in Agda☆36Dec 6, 2021Updated 4 years ago
- A heuristic procedure for proving inequalities☆35Sep 4, 2018Updated 8 years ago
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 8 years ago
- Program logic for developing and verifying distributed systems☆39Apr 29, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆29Oct 13, 2026Updated 2 weeks ago
- Brainfuck formalized in Coq☆32Mar 29, 2022Updated 4 years ago
- A new take on facet-reflect☆14Updated this week
- A REPL for C☆10Jun 11, 2026Updated 4 months ago
- Library for querying in-memory facts using datalog☆13May 19, 2025Updated last year
- Linear Algebra☆10Dec 1, 2019Updated 6 years ago
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago