# GitHub repos by christian-public

<https://repo.masters-masters.com/en/owners/christian-public>

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

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

## GitHub repos by christian-public

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

- [christian-public/Idris2-Erlang · ★ 149 · Idris · Prototype](https://repo.masters-masters.com/en/repos/christian-public/Idris2-Erlang)

## See christian-public on GitHub

- [https://github.com/christian-public](https://github.com/christian-public)

---
Data: GitHub