AwesomeRepos
Sign in

coolsnowwolf /lede

Open on GitHub

Lean's LEDE source

Stars
31,610 stars
Forks
19,055 forks
Language
C
License
OTHER
Created
Sep 6, 2017
Last push
Nov 2, 2026
Updated
Nov 2, 2026

In the Repository Index from the Seed Dataset since Oct 22, 2026.

Star History

193 days recorded, Apr 25, 2026 – Nov 3, 2026 (UTC). Net change +467 stars.

Net stars each dayhighest +10
Apr 25, 2026Nov 3, 2026
Cumulative net stars since Apr 25, 2026+467
Apr 25, 2026Nov 3, 2026

Observations

What the Repository Host reported each day.

Day (UTC)StarsForksLast pushArchived
Nov 3, 202631,61019,055Nov 2, 2026No
Nov 2, 202631,60019,053Nov 1, 2026No
Nov 1, 202631,60019,049Oct 31, 2026No
Oct 31, 202631,59419,053Oct 30, 2026No
Oct 30, 202631,59119,059Oct 28, 2026No
Oct 29, 202631,59319,064Oct 28, 2026No
Oct 28, 202631,59519,062Oct 26, 2026No
Oct 27, 202631,59219,065Oct 26, 2026No
Oct 26, 202631,59219,067Oct 24, 2026No
Oct 25, 202631,59019,065Oct 24, 2026No
Oct 24, 202631,59319,067Oct 22, 2026No
Oct 23, 202631,59519,070Oct 22, 2026No
Oct 22, 202631,59419,070Oct 22, 2026No
Report a problem with this page

Do not include personal data. AwesomeRepos keeps the message, the page, and the time.