用 Agda 编写的库

agda-stdlib

Agda 标准库。
  • 517
  • GNU General Public License v3.0

cubical

Cubical Agda 的实验库。
  • 372
  • GNU General Public License v3.0

TypeTopology

拓扑概念和其他事物的逻辑表现。这个版本采用了统一的观点..
  • 172
  • GNU General Public License v3.0 only

agda2hs

将 Agda 代码编译为可读的 Haskell。
  • 133
  • MIT

Agda

同伦类型理论简介的 Agda 形式化(由 HoTT-Intro 编写)。
  • 108
  • GNU General Public License v3.0 only

agdarsec

Agda 中的总解析器组合器。
  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

Agda 中正则语言的形式化:正则表达式、有限状态自动机、等价证明、泵引理证明..
  • 13

pny1-assignment

大学作业写作,其中我漫无目的地谈论类型类和依赖类型。
  • 12

template-agda

为 Gitpod (www.gitpod.io) 配置的 Agda 模板,为您提供云中预构建的临时开发环境。
  • 8
  • MIT

premonoidal

Premonoid 类别的 Agda 编码。
  • 3

agda-life

康威在阿格达的生命游戏..
  • 0
  • BSD 3-clause "New" or "Revised"