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.