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