Biblioteker skrevet i Idris

Idris2

Et rent funktionelt programmeringssprog med førsteklasses typer.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

JVM-bytekode-bagende til Idris.
  • 456
  • BSD 3-clause "New" or "Revised"

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

SPLV20

SPLV20 kursusnoter.
  • 98

idris2-pack

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

inigo

Inigo: A Package Manager til Idris2.
  • 59
  • MIT

spidr

Accelereret maskinlæring med afhængige typer.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Koder relateret til Idris.
  • 14

idris-elm

Elm-arkitekturen overført til Idris-programmeringssproget.
  • 13

pacman

Et bevis på, at Idris er pacman komplet (af jdublu10).
  • 7

idris-sandbox

Idris sandkasse.
  • 7

rado

Turing maskine i Idris, med nogle fede typer.
  • 0