Bibliothèques écrites en Idris

Idris2

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

idris-jvm

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

idris-ct

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

order-taking

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

inigo

Inigo: un gestionnaire de paquets pour Idris2.

idris2-tls

Une implémentation idris2 portable de TLS.
  • 24
  • ISC

IdrisExtSTGCodegen

  • 16
  • GNU General Public License v3.0

idris-sandbox

Bac à sable Idris.
  • 7

rado

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