TopGit
GITHUB USER

bcpierce00 — GitHub user

bcpierce00 has 5.4k stars across their public GitHub repositories, ranking #5452 globally among GitHub users.

Global rank#5452
Total stars5.4k
Public repositories32
View on GitHub ↗

Top repositories

unison★ 5.4kInteractionTrees★ 256Forvis_RISCV-ISA-Spec★ 102cerberus★ 91dsss18★ 68cn★ 61sf-in-lean★ 51VERSE-Toolchain★ 19cn-tutorial★ 17notation-gallery★ 12

How many GitHub stars does bcpierce00 have?

bcpierce00 has 5.4k stars across their public repositories, ranking #5452 globally.

What is bcpierce00's most-starred repository?

Their most-starred public repository is unison, with 5.4k stars.

Is bcpierce00 an individual or an organization?

This is an individual GitHub user account.

See our methodology for how this ranking is calculated.

← Back to Users ranking