# Dépôts de AndrasKovacs [Accueil](https://repo.masters-masters.com/) › [AndrasKovacs](https://repo.masters-masters.com/owners/AndrasKovacs) Les 4 dépôts GitHub publics de AndrasKovacs, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de AndrasKovacs 4 dépôts publics de AndrasKovacs au catalogue, du plus étoilé au moins étoilé. - [AndrasKovacs/elaboration-zoo · ★ 808 · Haskell · Bêta](https://repo.masters-masters.com/repos/AndrasKovacs/elaboration-zoo) - [AndrasKovacs/smalltt · ★ 611 · Lean · Alpha](https://repo.masters-masters.com/repos/AndrasKovacs/smalltt) - [AndrasKovacs/staged · ★ 189 · TeX · Prototype](https://repo.masters-masters.com/repos/AndrasKovacs/staged) - [AndrasKovacs/flatparse · ★ 182 · Haskell · Prototype](https://repo.masters-masters.com/repos/AndrasKovacs/flatparse) ## Voir AndrasKovacs sur GitHub - [https://github.com/AndrasKovacs](https://github.com/AndrasKovacs) --- Données : GitHub