In Idris geschriebene Bibliotheken

Idris2

Eine rein funktionale Programmiersprache mit erstklassigen Typen.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

JVM-Bytecode-Backend für Idris.
  • 456
  • BSD 3-clause "New" or "Revised"

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

SPLV20

SPLV20-Kursnotizen.
  • 98

idris2-pack

  • 61
  • BSD 3-clause "New" or "Revised"

inigo

Inigo: Ein Paketmanager für Idris2.
  • 59
  • MIT

spidr

Beschleunigtes maschinelles Lernen mit abhängigen Typen.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Codes im Zusammenhang mit Idris.
  • 14

idris-elm

Die Elm-Architektur wurde auf die Programmiersprache Idris portiert.
  • 13

pacman

Ein Beweis dafür, dass Idris Pacman vollständig ist (von jdublu10).
  • 7

idris-sandbox

Idris Sandbox.
  • 7

rado

Turingmaschine in Idris, mit einigen coolen Typen.
  • 0