Arevos

Anything with a parser generator, like Jack, JavaCC, Bison, ANTLR or PyParsing, to name a few. An assembly-like language is simple enough not to need a parser generator, but anything more complex than that really does need a generator of some description.

With the language you propose, you'd have to create it from assembly upwards, because security is such an issue. Since there is no solution to the halting problem, you can't detect infinite loops the way you would detect illegal file access or other security issues. You'd need to assign each command a cost, or create a language that cannot use loops. Unfortunately, such a language would be rather restrictive.

A lot can be done with assembly language. Robocom and CoreWars are two programming games that use assembly-esque languages to create programs that fight amongst themselves. Perhaps you could create something similar to that?