FazBrowse GitHub Viewer | Trending | | Home

Tools: [Original HTTPS Page]

Agda Github Community · GitHub

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 430
agda-stdlib agda-stdlib Public

The Agda standard library

Agda 679 276
cubical cubical Public

An experimental library for Cubical Agda

Agda 571 173
agda-categories agda-categories Public

A new Categories library for Agda

Agda 413 82
agda2hs agda2hs Public

Compiling Agda code to readable Haskell

Agda 211 50
cornelis cornelis Public

agda-mode for neovim

Haskell 193 31

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,937 430 992 (29 issues need help) 55 Updated Oct 11, 2026
cubical Public
An experimental library for Cubical Agda

agda/cubical's past year of commit activity

Agda 571 173 66 (2 issues need help) 44 Updated Oct 8, 2026
agda-categories Public
A new Categories library for Agda

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

Agda 413 MIT 82 60 (4 issues need help) 20 Updated Sep 30, 2026
agda2lambox Public
Compiling Agda's internal syntax to λ-box terms.

agda/agda2lambox's past year of commit activity

Haskell 11 3 13 (1 issue needs help) 5 Updated Sep 26, 2026
agda-language-server Public
Language Server for Agda

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

Haskell 128 MIT 21 3 2 Updated Sep 23, 2026
agda-stdlib Public
The Agda standard library

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

Agda 679 276 284 57 Updated Sep 12, 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 Sep 1, 2026
agda2hs Public
Compiling Agda code to readable Haskell

agda/agda2hs's past year of commit activity

Agda 211 MIT 50 60 (5 issues need help) 6 Updated Aug 26, 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 8 MIT 3 3 0 Updated Aug 7, 2026
cornelis Public
agda-mode for neovim

agda/cornelis's past year of commit activity

Haskell 193 BSD-3-Clause 31 28 (6 issues need help) 4 Updated Jul 24, 2026

View all repositories

Top languages

Loading…

Most used topics

Loading…

Back | FazBrowse Home | New Git URL