Register-based bytecode VM implementation.
GPL-2.0 License
SMACK Software Verifier and Verification Toolchain
The single instruction C compiler
L1VM - a tiny virtual machine with a 64 bit core
Simple virtual machine which interprets bytecode.
How to write a very simple JIT compiler
Automatically exported from code.google.com/p/libdasm
Same as simple-virtual-machine but in C
a simple virtual machine which simulates a register machine