lean

CGAL公共代码库，详见下方README说明

BleachBit 系统清理工具，适用于 Windows 和 Linux

免费开源的macOS清理工具。零遥测的CleanMyMac替代方案。原生SwiftUI开发，支持定时自动清理、Xcode/Homebrew/系统缓存清理。采用MIT许可证。

这款免费内存清理器利用Windows原生功能优化内存区域，是一款轻巧便携的智能应用程序。

一款真正的WinUI桌面清理工具，支持终端控制与多数据库

通过我们步步递进、故事般的指南，探索.NET软件架构的复杂领域。剖析模块化单体架构、微服务、领域驱动设计及各种架构模式之间的相互作用。超越一刀切的解决方案，理解如何根据您的独特需求融合这些方法。

一款外观精美的LaTeX简历模板

开源工具，可从头构建Windows脚本，包含系统精简、隐私保护、性能优化及应用程序安装脚本

基于C++、C#和Delphi的多边形裁剪、偏置与三角剖分

🍴 OpenNutriTracker是一款免费开源的卡路里追踪应用，注重简洁性与隐私保护。

一款开源的macOS原生截图与屏幕录制应用，是CleanShot X的替代品。

Cleanuparr是一款自动化清理工具，用于清理Sonarr、Radarr及支持的下载客户端（如qBittorrent、Deluge和Transmission）中不需要或受阻滞的文件。

🔯 现代化、功能全面的 Hugo 主题，用于创建精美的文档、博客和静态网站

开源制造ERP/MES/QMS系统，特别适用于复杂装配、高低量混合与按订单配置生产模式

基于Florence-2和LaMA模型的AI水印去除工具：一款利用先进深度学习模型有效去除图像水印的Python应用程序，提供用户友好的PyQt6界面。

面向 Rust 程序的验证工具链

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

Neovim 对 Lean 定理证明器的支持

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

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