GitHub repository: Entropy1729/VMtropy
Primary language: Rust
Description: Proof of concept for a ZK snark-based VM running Aleo Instructions.