Biblioteker skrevet i Idris
Idris2
Et rent funktionelt programmeringssprog med førsteklasses typer.
- 2.2k
- GNU General Public License v3.0
idris-ct
formelt verificeret kategoriteoretisk bibliotek.
- 245
- GNU Affero General Public License v3.0
order-taking
Idris version af Domain Modeling Made Functional Book..
- 127
- GNU General Public License v3.0