Библиотеки, написани на Idris

Idris2

Чисто функционален език за програмиране с първокласни типове.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

Заден край на JVM байт код за Idris.
  • 456
  • BSD 3-clause "New" or "Revised"

idris-ct

официално проверена библиотека за теория на категориите.
  • 245
  • GNU Affero General Public License v3.0

order-taking

Idris версия на Domain Modeling Made Functional Book..
  • 127
  • GNU General Public License v3.0

SPLV20

Бележки за курса SPLV20.
  • 98

idris2-pack

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

inigo

Inigo: Мениджър на пакети за Idris2.
  • 59
  • MIT

spidr

Ускорено машинно обучение със зависими типове.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Кодове, свързани с Идрис.
  • 14

idris-elm

Архитектурата Elm е пренесена на езика за програмиране Idris.
  • 13

pacman

Доказателство, че Идрис е pacman завършен (от jdublu10).
  • 7

idris-sandbox

Идрис пясъчник.
  • 7

rado

Машина на Тюринг в Идрис, с някои страхотни типове.
  • 0