由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名

lean

话题找到数量

ahXN00/OwnTV

原生 Android TV IPTV 播放器 — Kotlin、Compose for TV、ExoPlayer + mpv。 Xtream, M3U and Stalker portals, EPG, catch-up TV, profiles and downloads.

673
161
730
+13
排名 #12
10月26日
查看详情

bysiber/cleardisk

免费的macOS菜单栏应用,用于可视化并清理开发者缓存(Xcode、node_modules、CocoaPods、SPM、Docker、pip、Cargo),即刻回收磁盘空间。

517
26
1.1k
+39
排名 #13
7月12日
查看详情

Julian/lean.nvim

Neovim 对 Lean 定理证明器的支持

503
46
1.2k
+1
排名 #15
4月2日
查看详情

jemishavasoya/dev-cleaner

一键交互式Shell脚本,用于在macOS和Linux系统上安全清理和优化开发缓存(Xcode、Flutter、Android、npm、IDE)。

235
36
1.3k
+6
排名 #3
5月18日
查看详情

fpindej/netrock

面向小型生产环境的SaaS入门套件——采用.NET 10清洁架构API与SvelteKit前端,完全容器化。克隆后初始化即可快速部署产品

161
16
1.5k
+35
排名 #10
2月27日
查看详情

dotnet/orleans

面向 .NET 的云原生应用框架

0
0
2.3k
排名 #9
8月22日
查看详情
助手