# GitHub repos by antalsz [Home](https://repo.masters-masters.com/en) › [antalsz](https://repo.masters-masters.com/en/owners/antalsz) The public GitHub repo by antalsz in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by antalsz 1 public repo by antalsz in the catalog, most starred first. - [antalsz/hs-to-coq · ★ 283 · Coq · Alpha](https://repo.masters-masters.com/en/repos/antalsz/hs-to-coq) ## See antalsz on GitHub - [https://github.com/antalsz](https://github.com/antalsz) --- Data: GitHub