GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → jfdm → idris-config

jfdm / idris-config

Licence: BSD-3-Clause License
Parsers for various configuration files written in Idris.

Programming Languages

Idris
72 projects
shell
77523 projects
Makefile
30231 projects

Idris Config

Parsers for various configuration file formats.

Supported formats.

  • INI
  • Properties
  • JSON
  • YAML

Feature coverage.

Please note that the parsers are not feature complete, and may break on fully featured configuration files.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].