v

Neovim 插件，用于管理文件系统及其他树状结构。

Apache HBase

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

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

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

🧊 开源大语言模型可观测性平台。一行代码实现监控、评估与实验。YC W23 🍓

自动化Calibre-Web且保留Calibre全部功能！让电子书管理全自动化和简易化！

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

保持代码整洁无瑕

简化着色器开发流程

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

📱 Nextcloud 安卓客户端

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

构建无懈可击爬虫的全能框架

企业级开源PostgreSQL发行版，具备高可用、PITR、IaC、监控、12个内核分支及460个PG扩展。将一流产品集成为统一平台，像专家一样自主托管Postgres！

找到真正能在你的硬件上运行且性能最佳的本地大语言模型。基于真实且考虑时效性的基准进行排名，而非参数数量。一条命令，即刻运行。

Proxifier替代方案，用于将任意Windows/MacOS/Linux系统的TCP和UDP流量重定向至HTTP/Socks5代理

让Astrid任务管理应用重获新生

实验性PlayStation Vita模拟器

自动化渗透测试框架 - 开源漏洞扫描器 - 漏洞管理平台

The next generation Javascript WYSIWYG HTML Editor.

Vim 炫酷启动屏幕

通过可执行程序或批处理脚本卸载Microsoft Edge

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