Agda ben írt könyvtárak

agda-stdlib

Az Agda standard könyvtár.
  • 517
  • GNU General Public License v3.0

cubical

A Cubical Agda kísérleti könyvtára.
  • 372
  • GNU General Public License v3.0

TypeTopology

A topológiai fogalmak logikai megnyilvánulásai és egyéb dolgok. Ez a verzió az univalens nézőpontot követi.
  • 172
  • GNU General Public License v3.0 only

agda2hs

Az Agda kód fordítása olvasható Haskellbe.
  • 133
  • MIT

Agda

A Homotópiatípuselmélet bevezetésének agda formalizálása (HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

Total Parser Combinators in Agda.
  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

Reguláris nyelvek formalizálása Agdában: reguláris kifejezések, véges állapotú automaták, az ekvivalencia bizonyítása, a pumpáló lemma bizonyítása.
  • 13

pny1-assignment

Főiskolai feladatírás, amiben típusosztályokon és függő típusokon vacakolok..
  • 12

template-agda

A Gitpodhoz (www.gitpod.io) konfigurált Agda-sablon, amely előre elkészített, átmeneti fejlesztői környezeteket biztosít a felhőben.
  • 8
  • MIT

premonoidal

Premonoid kategóriák Agda kódolása.
  • 3

agda-life

Conway Életjátéka Agdában...
  • 0
  • BSD 3-clause "New" or "Revised"