GitHub repository: GaloisInc/daedalus
Primary language: Haskell
Description: The Daedalus data description language