Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-idris
𝛌 Awesome Idris resources
https://github.com/joaomilho/awesome-idris
Last synced: 3 days 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
-
Categories
Sub Categories
Keywords