Biblioteki napisane w Idris

Idris2

Czysto funkcjonalny język programowania z typami pierwszej klasy.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

Zaplecze kodu bajtowego JVM dla Idris.
  • 456
  • BSD 3-clause "New" or "Revised"

idris-ct

formalnie zweryfikowana biblioteka teorii kategorii.
  • 245
  • GNU Affero General Public License v3.0

order-taking

Wersja Idris książki Domain Modeling Made Functional Book..
  • 127
  • GNU General Public License v3.0

SPLV20

Notatki z kursu SPLV20.
  • 98

idris2-pack

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

inigo

Inigo: Menedżer pakietów dla Idris2.
  • 59
  • MIT

spidr

Przyspieszone uczenie maszynowe z typami zależnymi.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Kody związane z Idrisem.
  • 14

idris-elm

Architektura Elm przeniesiona do języka programowania Idris.
  • 13

pacman

Dowód na to, że Idris jest kompletnym pacmanem (autor: jdublu10).
  • 7

idris-sandbox

Piaskownica Idrisa.
  • 7

rado

Maszyna Turinga w Idrisie, z kilkoma fajnymi typami.
  • 0