This is marginally useful, but I wrote a small ‘subleq’ playground — it’s an instruction set with just one instruction, “SUBtract and branch if Less-than or EQual to zero”.
https://github.com/incanus/subleq
It was fun to see how simple a model of computation could actually be.