Parsers for various configuration files written in Idris. - View it on GitHub