# GitHub repos by gasche [Home](https://repo.masters-masters.com/en) › [gasche](https://repo.masters-masters.com/en/owners/gasche) All 4 public GitHub repos by gasche in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by gasche 4 public repos by gasche in the catalog, most starred first. - [gasche/icfp2016-papers · ★ 139 · Prototype](https://repo.masters-masters.com/en/repos/gasche/icfp2016-papers) - [gasche/icfp2017-papers · ★ 136 · Prototype](https://repo.masters-masters.com/en/repos/gasche/icfp2017-papers) - [gasche/popl2016-papers · ★ 121 · Prototype](https://repo.masters-masters.com/en/repos/gasche/popl2016-papers) - [gasche/popl2017-papers · ★ 100 · Prototype](https://repo.masters-masters.com/en/repos/gasche/popl2017-papers) ## See gasche on GitHub - [https://github.com/gasche](https://github.com/gasche) --- Data: GitHub