# GitHub repos by seahorn [Home](https://repo.masters-masters.com/en) › [seahorn](https://repo.masters-masters.com/en/owners/seahorn) All 4 public GitHub repos by seahorn in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by seahorn 4 public repos by seahorn in the catalog, most starred first. - [seahorn/seahorn · ★ 480 · C · Alpha](https://repo.masters-masters.com/en/repos/seahorn/seahorn) - [seahorn/clam · ★ 291 · C · Alpha](https://repo.masters-masters.com/en/repos/seahorn/clam) - [seahorn/crab · ★ 259 · C++ · Alpha](https://repo.masters-masters.com/en/repos/seahorn/crab) - [seahorn/sea-dsa · ★ 171 · C++ · Prototype](https://repo.masters-masters.com/en/repos/seahorn/sea-dsa) ## See seahorn on GitHub - [https://github.com/seahorn](https://github.com/seahorn) --- Data: GitHub