Nā hale waihona puke i kākau ʻia ma Idris

Idris2

He ʻōlelo hoʻolālā maʻemaʻe me nā ʻano papa mua.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

JVM bytecode hope hope no Idris.
  • 456
  • BSD 3-clause "New" or "Revised"

idris-ct

hale waihona manaʻo waeʻano i hōʻoia ʻia.
  • 245
  • GNU Affero General Public License v3.0

order-taking

Idris version of Domain Modelling Made Functional Book..
  • 127
  • GNU General Public License v3.0

SPLV20

Nā memo papa SPLV20.
  • 98

idris2-pack

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

inigo

Inigo: He Luna Puke no Idris2.
  • 59
  • MIT

spidr

ʻO ke aʻo ʻana i ka mīkini wikiwiki me nā ʻano hilinaʻi.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Nā code pili iā Idris.
  • 14

idris-elm

Hoʻokomo ʻia ka hoʻolālā Elm i ka ʻōlelo Programming Idris.
  • 13

pacman

He hōʻoia ʻo Idris pacman piha (na jdublu10).
  • 7

idris-sandbox

ʻO Idris Sandbox.
  • 7

rado

ʻO ka mīkini Turing ma Idris, me kekahi mau ʻano ʻoluʻolu.
  • 0