Home

Repositories

The following lists the repositories of the @agda organization together with the admin to contact (e.g. in case write access is needed).

HQ are the administrators of the @agda organization.

Last updated: 2025-11-29

agda

admin: HQ

agda-base

admin: Felix Cherubini

agda-categories

admin: Jacques Carette

agda-finite-prover

admin: Samuel Gélineau (@gelisam)

agda-github-syntax-highlighting

admin: HQ

agda-language-server

admin: Ting-gian LUA, Liang-Ting Chen

agda-pkg

admin: Team agda-pkg (Ulf Norell, Jonathan Cubides)

agda-pretty

admin: Ulf Norell

agda-setup-action

admin: Andreas Abel

agda-stdlib

admin: G. Allais, Matthew Daggit

agda-stdlib-classes

admin: Andre Knispel

agda-stdlib-meta

admin: Andre Knispel

agda2hs

admin: Jesper Cockx

agda2lambox

admin: Lucas Escot, Orestis Melkonian

categories-examples

admin: Jacques Carette

cornelis

admin: Sandy Maguire

cubical

admin: Felix Cherubini, Anders Mörtberg

fix-whitespace

admin: Andreas Abel

guarded

admin: Andrea Vezzosi

ooAgda

admin: Andreas Abel

organization

admin: HQ

package-index

admin: Team agda-pkg

tasty-silver

admin: Andreas Abel