Bibliothèques écrites en Agda

agda-stdlib

La bibliothèque standard Agda.
  • 457
  • GNU General Public License v3.0

cubical

Une bibliothèque expérimentale pour Cubical Agda.
  • 304
  • MIT

agda-categories

Une nouvelle bibliothèque de catégories pour Agda.
  • 273
  • MIT

Agda

Formalisation Agda de l'Introduction to Homotopy Type Theory (par HoTT-Intro).
  • 103
  • GNU General Public License v3.0 only

agdarsec

Total Parser Combinators dans Agda.
  • 93
  • GNU General Public License v3.0 only

agda2hs

Compilation du code Agda en Haskell lisible.
  • 56
  • MIT

pny1-assignment

Rédaction d'un devoir universitaire dans lequel je parle de classes de types et de types dépendants.
  • 9

template-agda

Un modèle Agda, configuré pour Gitpod (www.gitpod.io) pour vous offrir des environnements de développement éphémères pré-construits dans le cloud.
  • 6
  • MIT

agda-playground

  • 6
  • MIT

premonoidal

Encodage Agda des catégories prémonoïdales.
  • 4

agda-life

Le jeu de la vie de Conway à Agda..
  • 0
  • BSD 3-clause "New" or "Revised"