GitHub repository: langston-barrett/crucible
Primary language: Rust
Description: Crucible is a library for symbolic simulation of imperative programs