# GitHub repos by agda

<https://repo.masters-masters.com/en/owners/agda>

[Home](https://repo.masters-masters.com/en) › [agda](https://repo.masters-masters.com/en/owners/agda)

All 7 public GitHub repos by agda in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by agda

7 public repos by agda in the catalog, most starred first.

- [agda/agda · ★ 2,963 · Haskell · RC](https://repo.masters-masters.com/en/repos/agda/agda)
- [agda/agda-stdlib · ★ 680 · Agda · Alpha](https://repo.masters-masters.com/en/repos/agda/agda-stdlib)
- [agda/cubical · ★ 572 · Agda · Alpha](https://repo.masters-masters.com/en/repos/agda/cubical)
- [agda/agda-categories · ★ 412 · Agda · Alpha](https://repo.masters-masters.com/en/repos/agda/agda-categories)
- [agda/agda2hs · ★ 210 · Agda · Prototype](https://repo.masters-masters.com/en/repos/agda/agda2hs)
- [agda/cornelis · ★ 195 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/agda/cornelis)
- [agda/agda-language-server · ★ 130 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/agda/agda-language-server)

## See agda on GitHub

- [https://github.com/agda](https://github.com/agda)

---
Data: GitHub