# Dépôts de Agda-zh

<https://repo.masters-masters.com/owners/Agda-zh>

[Accueil](https://repo.masters-masters.com/) › [Agda-zh](https://repo.masters-masters.com/owners/Agda-zh)

Le dépôt GitHub public de Agda-zh en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source.

## Dépôts de Agda-zh

1 dépôt public de Agda-zh au catalogue pour l’instant.

- [Agda-zh/PLFA-zh · ★ 221 · Haskell · Prototype](https://repo.masters-masters.com/repos/Agda-zh/PLFA-zh)

## Voir Agda-zh sur GitHub

- [https://github.com/Agda-zh](https://github.com/Agda-zh)

---
Données : GitHub