Projects in Awesome Lists tagged with halting-problem
A curated list of projects in awesome lists tagged with halting-problem .
https://github.com/xieyuheng/mugda
An implementation of the mugda paper
agda halting-problem mugda termination-checking type-checker
Last synced: 30 Sep 2025
https://github.com/paytonison/tot
A tiny total programming language prototype in Python with a conservative termination checker.
ai-assisted-development halting-problem interpreter language-design programming-language python termination-analysis total-programming
Last synced: 15 May 2026
https://github.com/samuelcarriles/haltingproblem
An investigation about halting problem.
Last synced: 15 May 2026
https://github.com/tadiusfrank2001/cs101-theory-of-computation-and-languages
Investigate models of computation, formal languages, and computability in Haskell to build an Interpreter
automota context-free-grammar finite-state-machine halting-problem lexical-analysis parsing parsing-expression-grammar pumping-lemma regular-language turing turing-machine
Last synced: 13 Jun 2025
https://github.com/mehrab-kalantari/busy-beaver-problem
An explanation of busy beaver problem with samples and codes
busy-beaver halting-problem theory-of-computation turing-machine
Last synced: 24 Apr 2026