每日 每周 每月
2026-03-29
返回报告
🏷️

#lean 每日趋势报告

📅 2026-03-29
📊 5 个项目

🔥 #lean 每日热门项目

Raphire/Win11Debloat

PowerShell

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

automated bloatware bloatware-removal
Raphire
Raphire 开发者
42k
1.7k
193
+60
排名 #1
3月29日
查看详情

Orchestra-Research/AI-Research-SKILLs

TeX

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

ai ai-research claude
Orchestra-Research
Orchestra-Research 开发者
5.8k
446
125
+58
排名 #10
3月29日
查看详情

betaflight/betaflight

C

开源飞控固件

betaflight cleanflight flight-controller
betaflight
betaflight 开发者
10k
3.7k
235
+6
排名 #5
3月29日
查看详情

adityatelange/hugo-PaperMod

HTML

一款快速、简洁、响应式Hugo主题。

blog blog-theme clean
adityatelange
adityatelange 开发者
13k
3.4k
253
+4
排名 #2
3月29日
查看详情

Julian/lean.nvim

Lua

Neovim support for the Lean theorem prover

lean lean4 leanprover
Julian
Julian 开发者
499
46
90
排名 #21
3月29日
查看详情

📊 数据统计

5 个热门项目
2026-03-29 数据日期

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

助手