Awesome Idris

A curated, community-maintained directory of resources for Idris, a general-purpose pure functional programming language with dependent types.

Idris supports dependent types, where types can depend on values, enabling precise specifications of program behaviour at the type level. It is a compiled language with eager evaluation, influenced by Haskell and ML.

---

Website

• Repository: https://github.com/joaomilho/awesome-idris
• Language site: https://www.idris-lang.org/

---

Features

Curated Idris Resource List

• Provides an auxiliary list of awesome Idris resources, organized and maintained in a single place.
• Focuses specifically on the Idris ecosystem and learning materials.

Coverage Areas / Sections

The list is structured into multiple sections to help users find relevant resources quickly:

1. Official Resources

   • Links to the official Idris website and related authoritative materials.

2. Articles

   • Blog posts, tutorials, and written guides about Idris and dependently-typed programming.

3. Books

   • Longer-form learning resources and textbooks focused on Idris.

4. Papers

   • Academic and research papers related to Idris or its type system and semantics.

5. Presentations

   • Conference talks, meetups, and recorded presentations about Idris.

6. Projects

   • Example projects, libraries, and real-world codebases using Idris.

7. Backends

   • Information and links to different compilation targets / backends for Idris.

8. Build Tools / Package Managers

   • Tools to build, manage, and distribute Idris code and packages.

9. Community

   • Links to community hubs (chat, forums, groups) where Idris users and developers interact.

Open Contribution

• Includes a contributing.md file describing how to propose new entries or improvements to the list.
• Community-driven: anyone can suggest additions or updates via the GitHub repository.

Licensing

• Licensed under CC0 (Public Domain Dedication):
  • Free to copy, modify, and redistribute.
  • No attribution required (though often appreciated).

---

Category

• Directory Type: Themed Directory / Awesome List
• Topic Focus: Idris, dependently-typed functional programming, developer tools, learning resources.

---

Pricing

• Free
  • Public GitHub repository with no access fees.
  • All listed resources are linked externally; their individual licensing or pricing (if any) depends on those external sites.