# Dépôts de agda [Accueil](https://repo.masters-masters.com/) › [agda](https://repo.masters-masters.com/owners/agda) Les 7 dépôts GitHub publics de agda, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de agda 7 dépôts publics de agda au catalogue, du plus étoilé au moins étoilé. - [agda/agda · ★ 2 964 · Haskell · RC](https://repo.masters-masters.com/repos/agda/agda) - [agda/agda-stdlib · ★ 680 · Agda · Alpha](https://repo.masters-masters.com/repos/agda/agda-stdlib) - [agda/cubical · ★ 572 · Agda · Alpha](https://repo.masters-masters.com/repos/agda/cubical) - [agda/agda-categories · ★ 412 · Agda · Alpha](https://repo.masters-masters.com/repos/agda/agda-categories) - [agda/agda2hs · ★ 210 · Agda · Prototype](https://repo.masters-masters.com/repos/agda/agda2hs) - [agda/cornelis · ★ 195 · Haskell · Prototype](https://repo.masters-masters.com/repos/agda/cornelis) - [agda/agda-language-server · ★ 130 · Haskell · Prototype](https://repo.masters-masters.com/repos/agda/agda-language-server) ## Voir agda sur GitHub - [https://github.com/agda](https://github.com/agda) --- Données : GitHub