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