awesome-repositories.comCategoriesBlog

awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searches Blog Sitemap

ProjectAbout Press MCP server

LegalPrivacy Terms

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

Idris Config | Awesome Repos

jfdmidris-configArchived

0

View on GitHub↗

19 stars·6 forks·Idris·BSD-3-Clause·0 views

Idris Config

Parsers for various configuration files written in Idris.

Features

Projects - Listed in the “Projects” section of the Awesome Idris awesome list.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Star history

Star history chart for jfdm/idris-config

Star history chart for jfdm/idris-config