GitHub repository: GoNZooo/gotyno-hs
Primary language: Haskell
Description: A type definition language and type compiler that generates type definitions and validation functions for them in different languages.