GitHub repository: reilabs/miden-vm
Primary language: Rust
Description: STARK-based virtual machine