Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-idris

𝛌 Awesome Idris resources
https://github.com/joaomilho/awesome-idris

Last synced: 24 minutes ago
JSON representation

  • Uncategorized

    • Uncategorized

      • Idris Rules - Idris rules for Bazel
      • Ikan - A package manager for idris, in idris
      • Elba - A package manager for Idris
      • idream - A simple build system for Idris