points
Or the cli version if preferable: https://nicobrenner.github.io/lossy-git/
Not only can it solve the halting problem, but also the ignition problem!