Bibliothèques écrites en Idris

Idris2

Un langage de programmation purement fonctionnel avec des types de première classe.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

Back-end du bytecode JVM pour Idris.
  • 456
  • BSD 3-clause "New" or "Revised"

idris-ct

bibliothèque de théorie des catégories formellement vérifiée.
  • 245
  • GNU Affero General Public License v3.0

order-taking

Version Idris de Domain Modeling Made Functional Book..
  • 127
  • GNU General Public License v3.0

SPLV20

Notes de cours SPLV20.
  • 98

idris2-pack

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

inigo

Inigo: un gestionnaire de paquets pour Idris2.
  • 59
  • MIT

spidr

Apprentissage automatique accéléré avec des types dépendants.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Codes liés à Idris.
  • 14

idris-elm

L'architecture Elm portée sur le langage de programmation Idris.
  • 13

pacman

Une preuve qu'Idris est pacman complet (par jdublu10).
  • 7

idris-sandbox

Bac à sable Idris.
  • 7

rado

Machine de Turing à Idris, avec quelques types sympas.
  • 0