# GitHub repos by josean-dev [Home](https://repo.masters-masters.com/en) › [josean-dev](https://repo.masters-masters.com/en/owners/josean-dev) The public GitHub repo by josean-dev in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by josean-dev 1 public repo by josean-dev in the catalog, most starred first. - [josean-dev/dev-environment-files · ★ 4,136 · Lua · RC](https://repo.masters-masters.com/en/repos/josean-dev/dev-environment-files) ## See josean-dev on GitHub - [https://github.com/josean-dev](https://github.com/josean-dev) --- Data: GitHub