GitHub repository: runtimeverification/hs-backend-booster
Primary language: Haskell
Description: Accelerates K Framework's Haskell backend