RISC Zero is a zero-knowledge verifiable general computing platform base...
The official repo is at bellard/quickjs.
A list of webassemby runtimes
Simple and flexible programming language for applications development
Threat Pursuit Virtual Machine (VM): A fully customizable, open-sourced ...
Write your own virtual machine for the LC-3 computer!
The open source Cloud & Edge Computing Platform bringing real freedom to...
Fast and concurrent scripting.
https://wiki.hyperledger.org/display/burrow
An Erlang VM implementation in Rust
Builds malware analysis Windows VMs so that you don't have to.
Umka: a statically typed embeddable scripting language
LIKO-12 is an open source fantasy computer made using LÖVE.
Phantom: Persistent Operating System