# GitHub repos by Agda-zh

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

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

The public GitHub repo by Agda-zh in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by Agda-zh

1 public repo by Agda-zh in the catalog, most starred first.

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

## See Agda-zh on GitHub

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

---
Data: GitHub