Agda Github Community

See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.

Overview
Repositories
Projects
Packages
People

Popular repositories Loading

agda agda Public

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2.9k 422
agda-stdlib agda-stdlib Public

The Agda standard library

Agda 675 272
cubical cubical Public

An experimental library for Cubical Agda

Agda 566 170
agda-categories agda-categories Public

A new Categories library for Agda

Agda 410 80
agda2hs agda2hs Public

Compiling Agda code to readable Haskell

Agda 209 49
cornelis cornelis Public

agda-mode for neovim

Haskell 186 28

Repositories

Type Language Sort

agda Public
Agda is a dependently typed programming language / interactive theorem prover.

agda/agda's past year of commit activity

Haskell 2,916 422 988 (28 issues need help) 55 Updated Aug 19, 2026
cubical Public
An experimental library for Cubical Agda

agda/cubical's past year of commit activity

Agda 566 170 67 (2 issues need help) 49 Updated Aug 19, 2026
agda-categories Public
A new Categories library for Agda

agda/agda-categories's past year of commit activity

Agda 410 MIT 80 60 (4 issues need help) 17 Updated Aug 18, 2026
agda2hs Public
Compiling Agda code to readable Haskell

agda/agda2hs's past year of commit activity

Agda 209 MIT 49 59 (5 issues need help) 6 Updated Aug 17, 2026
agda-stdlib-classes Public
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

agda/agda-stdlib-classes's past year of commit activity

Agda 7 MIT 3 3 0 Updated Aug 7, 2026
agda-stdlib Public
The Agda standard library

agda/agda-stdlib's past year of commit activity

Agda 675 272 282 52 Updated Aug 5, 2026
cornelis Public
agda-mode for neovim

agda/cornelis's past year of commit activity

Haskell 186 BSD-3-Clause 28 26 (6 issues need help) 3 Updated Jul 24, 2026
agda-stdlib-meta Public
Meta-programming utilities for Agda.

agda/agda-stdlib-meta's past year of commit activity

Agda 25 MIT 5 9 4 Updated Jul 14, 2026
agda-language-server Public
Language Server for Agda

agda/agda-language-server's past year of commit activity

Haskell 127 MIT 21 10 3 Updated Apr 25, 2026
agda2lambox Public
Compiling Agda's internal syntax to λ-box terms.

agda/agda2lambox's past year of commit activity

Haskell 10 3 13 (1 issue needs help) 6 Updated Feb 27, 2026