Knjižnice, napisane v Agda u

agda-stdlib

Standardna knjižnica Agda.
  • 517
  • GNU General Public License v3.0

cubical

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

TypeTopology

Logične manifestacije topoloških konceptov in drugo. Ta različica zavzema enoznačno stališče..
  • 172
  • GNU General Public License v3.0 only

agda2hs

Prevajanje kode Agda v berljiv Haskell.
  • 133
  • MIT

Agda

Agda formalizacija Uvoda v homotopsko teorijo tipov (avtor HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

Totalni kombinatorji razčlenjevalnika v Agdi.
  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

Formalizacija regularnih jezikov v Agdi: regularni izrazi, končni avtomati, dokaz enakovrednosti, dokaz črpalne leme..
  • 13

pny1-assignment

Pisanje fakultetnih nalog, v katerih razpredam o tipskih razredih in odvisnih tipih.
  • 12

template-agda

Predloga Agda, konfigurirana za Gitpod (www.gitpod.io), da vam ponudi vnaprej zgrajena, kratkotrajna razvojna okolja v oblaku.
  • 8
  • MIT

premonoidal

Agda kodiranje premonoidnih kategorij.
  • 3

agda-life

Conwayeva igra življenja v Agdi..
  • 0
  • BSD 3-clause "New" or "Revised"