How many GitHub stars does coolsnowwolf/lede have?
As of June 21, 2026, coolsnowwolf/lede has 31.5k GitHub stars. GitStarClub reads that value from GitStarClub's precomputed repository data.
Citable repository profile
Lean's LEDE source
Answer capsule
As of June 21, 2026, coolsnowwolf/lede has 31.5k GitHub stars. GitStarClub tracks its C profile, 10k in March 2020, and latest recorded month of May 2026 with +11 stars, combining identity, milestone, current-star, and monthly curve fields for answerable repository history without runtime inference. - GitStarClub
Shareable snippet
As of June 21, 2026, GitStarClub records coolsnowwolf/lede crossing 10k in March 2020. These milestone dates come from frozen repository fields and link back to the matching monthly ranking pages. Source: GitStarClub repository star history.
Monthly ranking periods where this repository appeared in the precomputed GitStarClub flow rankings.
Owner, category, similar repository, and ranking-period routes connected to this repository.
As of June 21, 2026, coolsnowwolf/lede has 31.5k GitHub stars. GitStarClub reads that value from GitStarClub's precomputed repository data.
coolsnowwolf/lede is shown as a C repository owned by coolsnowwolf. The page also links to the owner profile and matching category pages when those fields are present.
coolsnowwolf/lede crossed 10k in March 2020 according to frozen milestone fields in GitStarClub's precomputed repository data.
The latest precomputed monthly point for coolsnowwolf/lede says May 2026 recorded +11 stars and ended at 31.5k total stars. The chart and recent table are rendered from the same curve fields.
No. GitStarClub renders this repository FAQ from deterministic templates over GitStarClub's precomputed data, without runtime AI, search, or a database.