# Dépôts de agda-attic [Accueil](https://repo.masters-masters.com/) › [agda-attic](https://repo.masters-masters.com/owners/agda-attic) Le dépôt GitHub public de agda-attic en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de agda-attic 1 dépôt public de agda-attic au catalogue pour l’instant. - [agda-attic/agda-frp-js · ★ 104 · Agda · Prototype](https://repo.masters-masters.com/repos/agda-attic/agda-frp-js) ## Voir agda-attic sur GitHub - [https://github.com/agda-attic](https://github.com/agda-attic) --- Données : GitHub