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