Biblioteke napisane u Idris u
Idris2
Čisto funkcionalni programski jezik s prvoklasnim tipovima.
- 2.2k
- GNU General Public License v3.0
idris-ct
formalno verificirana biblioteka teorije kategorija.
- 245
- GNU Affero General Public License v3.0
order-taking
Idris verzija Domain Modeling Made Functional Book..
- 127
- GNU General Public License v3.0