v

🍵 iOS 用户界面自动化测试框架

Open, Multi-Cloud, Multi-Cluster Kubernetes Orchestration

适用于Apple Silicon芯片的macOS与Linux虚拟机，用于CI及其他自动化场景

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

专为Neovim打造的交互式强大Git界面，灵感源自Magit

📱 Nextcloud 安卓客户端

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

免费、开源的 Sidecar/Duet 替代方案 - 通过 USB 或 WiFi 使用您的 iPhone 或 iPad 作为 Mac 的真正第二个显示器。低延迟 H.264、Retina HiDPI、触摸输入。

✨ 完美的游戏流媒体虚拟显示

GitHub智能体工作流

云原生API网关与AI网关

一个模型上下文协议（MCP）服务器和命令行工具，为处理iOS和macOS项目时的智能体使用提供工具。

主要 Liquibase 来源

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

⚡ 无需Python的Rust推理服务器 — 兼容OpenAI-API。支持GGUF与SafeTensors、热模型切换、自动发现、单二进制文件。现在免费，永远免费。

面向DevOps工程师的实战项目集锦【从入门到进阶】

用于轻松管理多终端窗口的 Neovim Lua 插件

用Rust重写的Postgres，现已通过100%的Postgres回归测试

Apache HBase

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

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

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

Windows版Telegram客户端

📈 从TradingView获取实时股票数据