is

全民AI学习第一课，首个系统化 Vibe Coding 开源教程 | 零基础到全栈实战，让人人都能借助 AI 实现自己的想法与创意 | 在线地址：www.vibevibe.cn

ZoneMinder是一款为Linux开发的免费开源闭路电视软件应用，支持IP、USB和模拟摄像头

一款用于发现PHP应用程序错误与安全漏洞的静态分析工具

通过交互式Elixir笔记本实现代码与数据工作流的自动化

冰人分支 - Proxmark3

为Vim插件添加文件类型图标，例如：NERDTree、vim-airline、CtrlP、unite、Denite、lightline、vim-startify 等诸多插件。

在Windows上轻松自动化SSL/TLS证书

面向 Kubernetes 可扩展多框架部署的标准化分布式生成式与预测式 AI 推理平台

🐬DeepChat——将强大AI与个人世界连接的智能助手

用于音频降噪的循环神经网络

BLIP 模型的 PyTorch 实现：通过自举法实现语言-图像预训练，达成统一视觉-语言理解与生成

模块化、对贡献者友好且极速的以太坊协议Rust实现。

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

GitHub Actions 的静态分析

主要 Liquibase 来源

将您的HDD、SSD和NVMe驱动器添加到群晖兼容驱动器数据库及更多功能

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

Microsoft生成引擎（MSBuild）是.NET和Visual Studio的生成平台

一个异常检测库，包含最先进的算法以及实验管理、超参数优化和边缘推理等功能。

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

具备运行时调度功能的性能可移植、长度无关单指令流多数据流

在手机、可穿戴设备及AI原生硬件上本地运行人工智能

tun2socks——基于gVisor TCP/IP协议栈

清华大学学位论文LaTeX模板