GitHub repository: ConfigV/ConfigV
Primary language: Haskell
Description: A tool for automatically verifying configuration files