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