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