Здравствуйте, kaa.python, Вы писали:

KP>Хотелось бы именно виртуальную машину, а не интерпретатор.

Посмотри NekoVM.
Я сам правда ее только мельком видел, так что возможно и не совсем то что нужно, но штука очень легкая.