Perpustakaan yang ditulis dalam Agda

agda-stdlib

  • 517
  • GNU General Public License v3.0

cubical

  • 372
  • GNU General Public License v3.0

TypeTopology

  • 172
  • GNU General Public License v3.0 only

agda2hs

  • 133
  • MIT

Agda

  • 108
  • GNU General Public License v3.0 only

agdarsec

  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

  • 13

pny1-assignment

  • 12

template-agda

  • 8
  • MIT

premonoidal

  • 3

agda-life

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