Knjižnice, napisane v Idris u

Idris2

Čisto funkcionalen programski jezik s prvorazrednimi vrstami.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

Zadnja stran bajtne kode JVM za Idris.
  • 456
  • BSD 3-clause "New" or "Revised"

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

SPLV20

Opombe tečaja SPLV20.
  • 98

idris2-pack

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

inigo

Inigo: Upravitelj paketov za Idris2.
  • 59
  • MIT

spidr

Pospešeno strojno učenje z odvisnimi vrstami.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Kode, povezane z Idrisom.
  • 14

idris-elm

Arhitektura Elm, prenesena v programski jezik Idris.
  • 13

pacman

Dokaz, da je Idris pacman popoln (avtor jdublu10).
  • 7

idris-sandbox

Peskovnik Idris.
  • 7

rado

Turingov stroj v Idrisu z nekaj kul tipi.
  • 0