GitHub Rankingspeople and organizations by total stars
Rank among 52,898 people
#39,793

Tomáš Skřivan

lecopivo, on GitHub since 2014
Total stars
922
Repositories counted
38
Since yesterday
▲ 55
Tier
D

Where the stars come from

SciLean
546
WaterSurfaceWavelets
151
cpp-wrangle
79
HouLean
25
scientific-computing-lean
14
lean4-karray
13
32 other repositories
94

Rank over time

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