awesome-repositories.comBlog

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

MCP Blog Curated searches Sitemap Privacy Terms

Idris Dev | Awesome Repository

idris-langIdris-devArchived

0

View on GitHub↗

3,474 stars·629 forks·Haskell·NOASSERTION·0 viewsidris-lang.org↗

Idris Dev

Features

Language Interoperability - A dependently typed functional programming language.
Official resources - Listed in the “Official resources” 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

A Dependently Typed Functional Programming Language