[nyolfen]

it's a minimal turing-complete function, built out into a higher-level language and functional, deterministic operating system (arvo) that is virtualized on a host OS. arvo runs an encrypted overlay network that is decentralized and federated. individual instances have combination identities/routing addresses that are finite and cryptographically owned (built on ethereum at the moment, though perhaps not forever).

you could say its first app is a decentralized chat & social software suite. everything built on the OS gets the decentralized network 'for free'; apps become protocols.