GitHub repository: rooch-network/flexemu
Primary language: Rust
Description: General purpose bytecode emulator with per-step proof