GitHub Rankingspeople and organizations by total stars
Rank among 52,678 people
#39,932

Tomáš Skřivan

lecopivo, on GitHub since 2014
Total stars
911
Repositories counted
38
Since yesterday
▼ 6
Tier
D

Where the stars come from

SciLean
540
WaterSurfaceWavelets
151
cpp-wrangle
78
HouLean
25
scientific-computing-lean
14
lean4-karray
13
32 other repositories
90

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#39,560#39,746#39,932 Oct 5Nov 3