用 Idris 编写的库

Idris2

具有一流类型的纯函数式编程语言。
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

Idris 的 JVM 字节码后端。
  • 456
  • BSD 3-clause "New" or "Revised"

idris-ct

正式验证的范畴论库。
  • 245
  • GNU Affero General Public License v3.0

order-taking

Idris 版本的领域建模功能书..
  • 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

Idris 是 pacman 完整的证明（由 jdublu10 提供）。
  • 7

idris-sandbox

伊德里斯沙盒。
  • 7

rado

伊德里斯的图灵机，有一些很酷的类型。
  • 0