每日 每周 每月
2026-04-02
返回报告
🏷️

#lean 每日趋势报告

📅 2026-04-02
📊 4 个项目

🔥 #lean 每日热门项目

Raphire/Win11Debloat

PowerShell

简洁易用的PowerShell脚本，可卸载预装应用、禁用遥测功能，并执行多项系统调整以实现Windows系统定制化、精简化和体验优化。Win11Debloat同时支持Windows 10和Windows 11系统

automated bloatware bloatware-removal
Raphire
Raphire 开发者
43k
1.7k
198
+66
排名 #6
4月2日
查看详情

Orchestra-Research/AI-Research-SKILLs

TeX

面向任意AI模型的综合性开源人工智能研究与工程技能库。

ai ai-research claude
Orchestra-Research
Orchestra-Research 开发者
6k
466
132
+58
排名 #2
4月2日
查看详情

jasontaylordev/CleanArchitecture

C#

ASP.NET Core 清洁架构解决方案模板

angular asp-net aspire
jasontaylordev
jasontaylordev 开发者
19k
4.2k
169
+6
排名 #14
4月2日
查看详情

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

lean lean4 leanprover
Julian
Julian 开发者
503
46
99
+1
排名 #15
4月2日
查看详情

📊 数据统计

4 个热门项目
2026-04-02 数据日期

🔥 TrendForge - 追踪开源项目热度，发现技术趋势

助手