GITHUB ORGANIZATION
seahorn — GitHub organization
seahorn has 1.3k stars across their public GitHub repositories, ranking #8649 globally among GitHub organizations.
Top repositories
How many GitHub stars does seahorn have?
seahorn has 1.3k stars across their public repositories, ranking #8649 globally.
What is seahorn's most-starred repository?
Their most-starred public repository is seahorn, with 478 stars.
Is seahorn an individual or an organization?
This is a GitHub organization account.