搜索结果：lean（24 个）
按分类缩小范围
fiftyone
商机 71
用于构建与优化高质量数据集及视觉 AI 模型的工具平台。
great_expectations
商机 68
帮助把控与验证数据预期状态的数据质量测试与监控工具。
video-subtitle-remover
商机 65
基于 AI 本地去除图片和视频硬字幕及文本水印的工具，无损画质且无需第三方 API。
patrol
商机 65
专为 Flutter 打造的 UI 自动化测试框架，开箱即用。
精选软件架构学习与实践资源清单，涵盖文章、视频、设计模式与原则。
MacSai
商机 63
开源 Mac 清理、优化与恶意软件扫描工具，基于 Swift 6 和 SwiftUI 构建，获 Apple 公证。
window_manager
商机 63
Flutter 桌面端窗口管理插件，全面支持控制窗口大小、位置、外观、关闭行为及事件监听。
BPB-Worker-Panel
商机 61
VLESS/Trojan/Warp Worker 订阅 GUI 面板，含私有 DoH、链式代理与 DNS 路由配置。
ffmpeg-libav-tutorial
商机 60
FFmpeg libav 学习教程，涵盖多媒体基础原理、解复用、转码等进阶内容。
cleanrl
商机 58
面向科研的高质量单文件深度强化学习算法实现（含 PPO、DQN、SAC 等）
czkawka
商机 57
多功能清理工具，可查找重复项、空文件夹、相似图片等。
Win11Debloat
商机 57
轻量级 PowerShell 脚本，可移除预装应用、关闭遥测服务以深度清理定制 Windows 系统。
lean.nvim
商机 55
为 Lean 定理证明器提供支持的 Neovim 插件。
zen-os
商机 55
干净、极简的电子书阅读器体验系统。
textual
商机 49
Python 轻量应用框架，通过简洁 API 构建复杂 UI，支持在终端及浏览器中运行。
tokyodark.nvim
商机 48
基于 Lua 编写的 Neovim 简洁暗色主题。
editor.js
商机 46
一款块级结构（block-style）富文本编辑器，直接输出结构清晰的 JSON 数据。
muffon
商机 46
桌面端多源音乐流媒体与发现客户端，免费纯净、免登录无广告。
QuestPDF
商机 45
现代 C# PDF 生成库，提供流畅 API 与组件化布局方案，代码清晰易读。
jsoup
商机 45
经典的 Java HTML 解析库，专为 HTML 数据抓取、解析、清洗及防范 XSS 设计。