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