GitHub repository: GaloisInc/gidl
Primary language: Haskell
Created: 2015-03-27T22:55:07Z
Description: Gidl: an Interface Description Language