Librerie scritte in Agda

agda-stdlib

La libreria standard Agda.
  • 517
  • GNU General Public License v3.0

cubical

Una libreria sperimentale per Cubical Agda.
  • 372
  • GNU General Public License v3.0

TypeTopology

Manifestazioni logiche di concetti topologici e altre cose. Questa versione adotta il punto di vista univalente..
  • 172
  • GNU General Public License v3.0 only

agda2hs

Compilazione del codice Agda in Haskell leggibile.
  • 133
  • MIT

Agda

Agda formalizzazione dell'introduzione alla teoria dei tipi di omotopia (da HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

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

agda-regexp-automata

Formalizzazione dei Linguaggi Regolari in Agda: espressioni regolari, automi a stati finiti, prova di equivalenza, prova del pumping lemma..
  • 13

pny1-assignment

  • 12

template-agda

Un modello Agda, configurato per Gitpod (www.gitpod.io) per offrirti ambienti di sviluppo effimeri predefiniti nel cloud.
  • 8
  • MIT

premonoidal

Codifica Agda delle categorie premonoidali.
  • 3

agda-life

Il gioco della vita di Conway ad Agda..
  • 0
  • BSD 3-clause "New" or "Revised"