Biblioteker skrevet i Agda

agda-stdlib

Agda standardbiblioteket.
  • 517
  • GNU General Public License v3.0

cubical

Et eksperimentelt bibliotek for Cubical Agda.
  • 372
  • GNU General Public License v3.0

TypeTopology

Logiske manifestationer af topologiske begreber og andre ting. Denne version antager det univalente synspunkt..
  • 172
  • GNU General Public License v3.0 only

agda2hs

Kompilere Agda-kode til læsbar Haskell.
  • 133
  • MIT

Agda

Agda formalisering af Introduktion til Homotopi Type Theory (ved HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

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

agda-regexp-automata

Formalisering af regulære sprog i Agda: regulære udtryk, finite-state automater, bevis for ækvivalens, bevis for det pumpende lemma.
  • 13

pny1-assignment

College opgaveskrivning, hvor jeg går rundt om typeklasser og afhængige typer..
  • 12

template-agda

En Agda-skabelon, konfigureret til Gitpod (www.gitpod.io) for at give dig forudbyggede, flygtige udviklingsmiljøer i skyen.
  • 8
  • MIT

premonoidal

Agda-kodning af præmonoidale kategorier.
  • 3

agda-life

Conways Game of Life i Agda..
  • 0
  • BSD 3-clause "New" or "Revised"