GitHub repository: GaloisInc/LIMA
Primary language: Haskell
Description: LIMA: Language for Integrated Modeling and Analysis