now you can load program and step through
# binary collatz function _1T > _Tc1 _0T > _T0 _^T > _^ _^c > _^1 _0c > _1 _1c > _c0 _0$ > _$ _1$ > _1Tc$ _^0 > _^,
_^11011$
# the waterfall model # http://nethack4.org/esolangs/waterfall/ a[] b[ c[ > a[ooo] b[ c[oooooo a[ b[] c[ > a[oooooo b[ooo] c[ a[ b[ c[] > a[ b[ooooooooo c[ooo] ao bo co >,
a[o] b[oo] c[ooo]
# 2-tag system # https://esolangs.org/wiki/Tag_system S1 _$ > _3321H$ S2 _$ > _331$ S3 _$ > _33$ _^11 > _^ S1 _^12 > _^ S1 _^13 > _^ S1 _^21 > _^ S2 _^22 > _^ S2 _^23 > _^ S2 _^31 > _^ S3 _^32 > _^ S3 _^33 > _^ S3,
_^211$