搜索结果：lean（60 个）
按分类缩小范围
mdex
商机 57
基于 comrak 等构建的高性能、可扩展 Elixir Markdown 库，适配 Phoenix 与 AI。
Win11Debloat
商机 57
轻量级 PowerShell 脚本，可移除预装应用、关闭遥测服务以深度清理定制 Windows 系统。
gitoxide
商机 56
纯 Rust 实现的 Git，注重优雅、精简、快速与安全。
lean.nvim
商机 55
为 Lean 定理证明器提供支持的 Neovim 插件。
zen-os
商机 55
干净、极简的电子书阅读器体验系统。
Pearcleaner
商机 51
一款免费、源码可用且基于 Fair-code 协议的 Mac 应用清理工具。
memreduct
商机 51
轻量级实时内存管理工具，可监控并清理电脑系统内存占用。
textual
商机 49
Python 轻量应用框架，通过简洁 API 构建复杂 UI，支持在终端及浏览器中运行。
tokyodark.nvim
商机 48
基于 Lua 编写的 Neovim 简洁暗色主题。
COLA
商机 48
整洁面向对象与分层架构（Clean Object-oriented & Layered Architecture）。
sdmaid-se
商机 47
SD Maid 2/SE 是 Android 平台深度彻底的清理工具。
editor.js
商机 46
一款块级结构（block-style）富文本编辑器，直接输出结构清晰的 JSON 数据。
muffon
商机 46
桌面端多源音乐流媒体与发现客户端，免费纯净、免登录无广告。
QuestPDF
商机 45
现代 C# PDF 生成库，提供流畅 API 与组件化布局方案，代码清晰易读。
上传界面截图，即可一键生成干净规范的 HTML/Tailwind/React/Vue 代码。
dotnet-starter-kit
商机 45
生产级云原生 .NET 10 启动模板（Web API + React），支持多租户与整洁模块化架构
leantime
商机 44
注重目标的开源项目管理系统，专为非项目经理及神经多样性群体设计。
Orion-Store
商机 44
聚合开源与纯净应用的商店，无服务器与追踪，可快捷下载 YouTube/YT Music 改版等工具。
kaminari
商机 44
为 Ruby Web 应用打造的基于 Scope 和 Engine 的高度可定制分页器。
PureMac
商机 43
开源 macOS 清理工具，无遥测数据，支持计划清理与 Xcode、Homebrew 及系统缓存清理。