GitHub repository: GaloisInc/ivory
Primary language: Haskell
Description: The Ivory EDSL