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