GitHub repository: Koukyosyumei/rhoevm
Primary language: Rust
Description: symbolic EVM execution engine written in Rust