Projects in Awesome Lists tagged with total-programming
A curated list of projects in awesome lists tagged with total-programming .
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
