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