Bibliotheken geschreven in Idris

Idris2

  • 2.2k
  • GNU General Public License v3.0

idris-jvm

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

idris-ct

  • 245
  • GNU Affero General Public License v3.0

order-taking

  • 127
  • GNU General Public License v3.0

SPLV20

  • 98

idris2-pack

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

inigo

  • 59
  • MIT

spidr

  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

  • 14

pacman

  • 7

rado

  • 0