TopGit
GITHUB ORGANIZATION

tezos — GitHub organization

tezos has 1.7k stars across their public GitHub repositories, ranking #7049 globally among GitHub organizations.

Global rank#7049
Total stars1.7k
Public repositories13
View on GitHub ↗

Top repositories

tezos★ 1.5ktezos-mirror★ 111tezos-papers★ 39tezoscoq★ 27optimal_stack★ 15riscv-pvm★ 14tezos-explorer★ 12fundraiser-tools★ 7zarith-benchmark★ 5irmin★ 5

How many GitHub stars does tezos have?

tezos has 1.7k stars across their public repositories, ranking #7049 globally.

What is tezos's most-starred repository?

Their most-starred public repository is tezos, with 1.5k stars.

Is tezos an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking