Bibliotecas escritas em Idris

Idris2

Uma linguagem de programação puramente funcional com tipos de primeira classe.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

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

idris-ct

biblioteca de teoria de categorias formalmente verificada.
  • 245
  • GNU Affero General Public License v3.0

order-taking

Versão de Idris do livro Domain Modeling Made Functional.
  • 127
  • GNU General Public License v3.0

SPLV20

Notas do curso SPLV20.
  • 98

idris2-pack

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

inigo

Inigo: um gerenciador de pacotes para Idris2.
  • 59
  • MIT

spidr

Aprendizado de máquina acelerado com tipos dependentes.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

Códigos relacionados a Idris.
  • 14

idris-elm

A arquitetura Elm portada para a linguagem de programação Idris.
  • 13

pacman

Uma prova de que Idris é pacman completo (por jdublu10).
  • 7

idris-sandbox

Caixa de areia Idris.
  • 7

rado

Máquina de Turing em Idris, com alguns tipos bacanas.
  • 0