Knjižnice, napisane v Idris u
Idris2
Čisto funkcionalen programski jezik s prvorazrednimi vrstami.
- 2.2k
- GNU General Public License v3.0
idris-ct
formalno verificirana knjižnica teorije kategorij.
- 245
- GNU Affero General Public License v3.0
order-taking
Idrisova različica Domain Modeling Made Functional Book..
- 127
- GNU General Public License v3.0