Activity
Stars and mentions · Last 30 days, Oct 6 – Nov 4
Top repositories
lidangzzz’s repositories ranked by new forks, as on trending.
Contributes to
Repositories outside lidangzzz’s account where lidangzzz opened or reviewed pull requests in the past 365 days.
Who noticed lidangzzz
Everyone who starred or forked lidangzzz’s repositories since the archive began in 2011.
Notable accounts
Ordered by the stars their own repositories have received.
Biggest fans
Accounts that starred the most of these repositories.
Breakout weeks
Each repository’s best week of new stars, with the release published around it.
Achievements
Awards earned by the repositories lidangzzz owns. Select an award to embed its badge.
- Gold
- 01st place finishes
- Silver
- 02nd place finishes
- Bronze
- 13rd place finishes
- Awarded repositories
- 1Owned by lidangzzz now
Repositories
Ordered by gold, then silver, then bronze.
- How-to-runBest: 3rd by stars, 662 stars001
Every award
Top-three finishes of these repositories in completed trending days and weeks, newest first.
A repository earns an award for finishing first, second or third in a completed trending day or week, ranked by new stars, new forks or pull request authors. Awards follow a repository through renames and transfers and count toward its current owner. Weeks run Monday to Sunday, UTC.
Mentions
Goal-Driven（目标驱动）是我的一个极其伟大、极其牛逼的发明， lidangzzz/goal-driven 以至于你可以闭着眼，随便用Goal-Driven+claude code，就能设计出极其伟大的产品， 比如微软发明的世界上最伟大的数学证明语言，全世界数学家推式子工具，Lean4，用goal-driven搭建，加上24小时的漫长等待， 轻轻松松，你就可以用TypeScript重新实现一个编译器，from scratch。 lidangzzz/Lean4-ts 这样数学系的同学们就可以轻松糊一个前端lean4编译器，不用下载、配置、在本地再次运行了。 关键是lean4可能是世界上最艰难晦涩的小众语言之一，但同时lean4上面又承载着世界上所有数学家的证明和公式， 而只要用goal-driven，让master agent监督subagent，设置好goal，设置好criteria，你就可以把lean4移植到前端来，完整从头实现一遍。 这就是goal-driven的魔法。