i'm 99% certain parametric modeling software (inventor, solidworks, etc.) with constraints are turing-complete
Submitted by twovests in programming
With parametric modeling, you can make models using a variety of constraints.
E.g. "Side x1 has length 3, side x2 has length 4, they are perpendicular to one another, this point is coincident with this point, etc." It's really nice - you can draw a very rough sketch, throw on the constraints, and it slowly snaps into place.
It's really cool and useful, and there's definitely interesting discussion to be had here, but I'm like 99% sure it's gotta be turing complete somehow