GitHub repository: shapr/crucible
Primary language: Haskell
Description: Crucible is a library for symbolic simulation of imperative programs