GitHub repository: radare/rune
Primary language: Rust
Description: rune - radare2 based symbolic emulator