GitHub repository: runtimeverification/haskell-backend
Primary language: Haskell
Description: The symbolic execution engine powering the K Framework