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