Biblioteke napisane u Agda u

agda-stdlib

Standardna biblioteka Agda.
  • 517
  • GNU General Public License v3.0

cubical

Eksperimentalna knjižnica za Cubical Agda.
  • 372
  • GNU General Public License v3.0

TypeTopology

Logičke manifestacije topoloških pojmova i drugo. Ova verzija usvaja jednoznačno gledište..
  • 172
  • GNU General Public License v3.0 only

agda2hs

Kompajliranje Agda koda u čitljiv Haskell.
  • 133
  • MIT

Agda

Agda formalizacija Uvoda u homotopijsku teoriju tipa (autor HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

Totalni parser kombinatori u Agdi.
  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

Formalizacija regularnih jezika u Agdi: regularni izrazi, konačni automati, dokaz ekvivalencije, dokaz leme o pumpanju..
  • 13

pny1-assignment

Pismo za fakultetske zadaće u kojima lupetam o razredima tipova i ovisnim tipovima..
  • 12

template-agda

Predložak Agda, konfiguriran za Gitpod (www.gitpod.io) kako bi vam pružio unaprijed izgrađena, prolazna razvojna okruženja u oblaku.
  • 8
  • MIT

premonoidal

Agda kodiranje premonoidalnih kategorija.
  • 3

agda-life

Conwayeva igra života u Agdi..
  • 0
  • BSD 3-clause "New" or "Revised"