In Idris geschriebene Bibliotheken
Idris2
Eine rein funktionale Programmiersprache mit erstklassigen Typen.
- 2.2k
- GNU General Public License v3.0
idris-ct
formal verifizierte Kategorietheorie-Bibliothek.
- 245
- GNU Affero General Public License v3.0
order-taking
Idris-Version von Domain Modeling Made Functional Book.
- 127
- GNU General Public License v3.0