# GitHub repos by agda-attic

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

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

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

## GitHub repos by agda-attic

1 public repo by agda-attic in the catalog, most starred first.

- [agda-attic/agda-frp-js · ★ 104 · Agda · Prototype](https://repo.masters-masters.com/en/repos/agda-attic/agda-frp-js)

## See agda-attic on GitHub

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

---
Data: GitHub