Knihovny napsané v Agda u

agda-stdlib

Standardní knihovna Agda.
  • 517
  • GNU General Public License v3.0

cubical

Experimentální knihovna pro Cubical Agda.
  • 372
  • GNU General Public License v3.0

TypeTopology

Logické projevy topologických pojmů a další věci. Tato verze přijímá univalentní úhel pohledu..
  • 172
  • GNU General Public License v3.0 only

agda2hs

Kompilace Agda kódu do čitelného Haskellu.
  • 133
  • MIT

Agda

Agda formalizace Úvodu do teorie homotopických typů (od HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

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

agda-regexp-automata

Formalizace regulárních jazyků v Agda: regulární výrazy, konečné automaty, důkaz ekvivalence, důkaz pumpovacího lemmatu.
  • 13

pny1-assignment

Psaní vysokoškolských úkolů, ve kterých se toulám o typových třídách a závislých typech.
  • 12

template-agda

Šablona Agda nakonfigurovaná pro Gitpod (www.gitpod.io), která vám poskytne předem vytvořená, pomíjivá vývojová prostředí v cloudu.
  • 8
  • MIT

premonoidal

Agda kódování premonoidálních kategorií.
  • 3

agda-life

Conwayova hra o život v Agdě...
  • 0
  • BSD 3-clause "New" or "Revised"