EVM

EVM, also known as the Ethereum Virtual Machine is a stack-based language used by the ethereum cryptocurrency.

The language is fully deterministic, and always takes input from the enviroment.