# GitHub repos by AndrasKovacs [Home](https://repo.masters-masters.com/en) › [AndrasKovacs](https://repo.masters-masters.com/en/owners/AndrasKovacs) All 4 public GitHub repos by AndrasKovacs in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by AndrasKovacs 4 public repos by AndrasKovacs in the catalog, most starred first. - [AndrasKovacs/elaboration-zoo · ★ 808 · Haskell · Beta](https://repo.masters-masters.com/en/repos/AndrasKovacs/elaboration-zoo) - [AndrasKovacs/smalltt · ★ 611 · Lean · Alpha](https://repo.masters-masters.com/en/repos/AndrasKovacs/smalltt) - [AndrasKovacs/staged · ★ 189 · TeX · Prototype](https://repo.masters-masters.com/en/repos/AndrasKovacs/staged) - [AndrasKovacs/flatparse · ★ 182 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/AndrasKovacs/flatparse) ## See AndrasKovacs on GitHub - [https://github.com/AndrasKovacs](https://github.com/AndrasKovacs) --- Data: GitHub