LLVM - это действительно хорошая оптимизирующая виртуальная машина низкого уровня.Он может поддерживать такие языки, как C и C ++, и не имеет встроенной поддержки функций высокого уровня, таких как сборка мусора.
VMKit представляет собой реализацию виртуальных машин Java и CLI поверхLLVM.Поскольку он использует байт-код Java, это, вероятно, не помогло бы с патентными проблемами.
HLVM - еще одна интересная виртуальная машина высокого уровня, построенная на основе LLVM.Вероятно, он достаточно отличается, чтобы избежать большинства известных патентов, но в основном он предназначен для численных вычислений и функционального программирования.
На стороне с динамической типизацией есть Parrot .
Я работаю над компилятором и виртуальной машиной для языка собственного дизайна, но не рассчитываю, что он когда-нибудь будет закончен.; -)
Имейте в виду, что любая большая часть программного обеспечения будет нарушать многочисленные патенты, важно то, насколько они известны (и насколько владельцы патентов активно разыскивают нарушителей).Конечно, вся патентная система абсурдна, и нам было бы намного лучше избавиться от нее.