Clarity also claims decidability. It gives up recursion and restricts looping.

https://github.com/clarity-lang/reference/blob/master/refere...