coolsnowwolf/lede

Lean's LEDE source

31.6k stars · 19.1k forks · C

Caution

Caution: one person wrote most of the recent commits.

Why

What would change this

Maintenance

Partial

Active

Human commits, 30 days
49
Human commits, 90 days
329
Human commits, 365 days
555
Bot share of commits, 365 days
0%
Last commit
Oct 14, 2026 (22 hours ago)
Last human commit
Oct 14, 2026 (22 hours ago)
Authors, 90 days
20
Last release
Sep 30, 2025 (1 year ago)
Median PR merge time
32 hours

Responsiveness: of 30 recent issues, 100% got a maintainer reply. Median first response: 2 hours.

Sources: Commits, Releases, Merged pull requests, Issues

People

Complete
Owner
Personal account
Commits sampled
500 since Oct 14, 2025
Authors for half of commits
1
Authors for 80% of commits
3
Contributors
414

Top committers

Sources: Commits, Contributors

Stars

Complete

Organic, confidence high

Stars per week, 2017-09-03 to 2026-10-11. 10 weeks overlap a burst.Peak 271 a week2017-09-032026-10-11
Bars show stars gained each week. Orange bars overlap a burst.

Bursts

Anyone can buy stars for any repo; bursts alone don't prove the owner did.

Sources: How star history is analyzed

Risk

Complete

Flags

License

Now
GPL-2.0 (OSI-approved)
A year ago
GPL-2.0 (OSI-approved)

Packages

No published packages found.

OpenSSF Scorecard: 3.7 out of 10 (via deps.dev).

Sources: GitHub: coolsnowwolf/lede

Badge

Add this to a README to show the current verdict:

[![RepoRadar](https://reporadar.ai/coolsnowwolf/lede/badge.svg)](https://reporadar.ai/coolsnowwolf/lede)

Earlier verdicts

Computed 11 hours ago · method 2026.10.2