Idris ben írt könyvtárak

Idris2

Egy tisztán funkcionális programozási nyelv első osztályú típusokkal.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

JVM bájtkód háttér az Idris számára.
  • 456
  • BSD 3-clause "New" or "Revised"

idris-ct

formálisan igazolt kategóriaelméleti könyvtár.
  • 245
  • GNU Affero General Public License v3.0

order-taking

A Domain Modeling Made Functional Book Idris verziója..
  • 127
  • GNU General Public License v3.0

SPLV20

SPLV20 kurzusjegyzetek.
  • 98

idris2-pack

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

inigo

Inigo: Az Idris2 csomagkezelője.
  • 59
  • MIT

spidr

Gyorsított gépi tanulás függő típusokkal.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Idrishez kapcsolódó kódok.
  • 14

idris-elm

Az Elm architektúra Idris programozási nyelvre lett portolva.
  • 13

pacman

Bizonyíték arra, hogy Idris pacman teljes (a jdublu10 által).
  • 7

idris-sandbox

Idris Sandbox.
  • 7

rado

Turing gép Idrisben, néhány klassz típussal.
  • 0