al

Vitis 加速示例

APALACHE：TLA+和Quint的符号模型检查器

WordPress的ActivityPub插件

Open-source incident management tool with an AI SRE agent that watches your logs, learns normal patterns, and auto-creates incidents — plus webhook alerts, multi-channel notifications, and on-call escalation.

Macro是一个统一界面，整合邮件、消息、任务、通话、智能体、拉取请求、文档、CRM，并通过共享AI记忆相互关联。

专为Neovim打造的Metals插件

SonarQube MCP 服务器

一个用于Crystal语言的静态代码分析工具

潜行于你的系统之中。Ante 是一个自包含的智能体框架，拥有高度优化的核心。它像 Claude Code 或 Codex 一样工作，但没有它们的依赖项或模型限制。

OneSignal是面向移动应用的免费推送通知服务。该插件可轻松将原生iOS应用与OneSignal集成。https://onesignal.com

密度泛函工具包

Plasma 6动态壁纸插件，可在桌面/锁屏界面播放视频。

A local Apple Documentation crawler and MCP server. Written in Swift.

面向科学机器学习的化学反应网络与系统生物学接口。开源软件中的高性能、GPU并行化及O(1)求解器。

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

无需许可的社交应用商店

用于Metabase商业智能前端的ClickHouse数据库驱动程序

免费自动驾驶技术栈——完全开源的ADAS与自动驾驶系统

Jackson的附加模块，用于支持Scala特定数据类型

一个用于代数、几何与数论计算的全面开源计算机代数系统。

Windows Powershell 上的 Tmux - 适用于 PowerShell、Windows Terminal 和 cmd.exe 的 tmux。包含 psmux、pmux 和 tmux 命令。这是专为 Windows 设计的原生 Powershell Tmux，采用 Rust 🦀 语言开发。

研究WebAssembly引擎

适用于GitHub上Business Central应用开发的开箱即用DevOps解决方案

为JVM上的Scala提供安全的直接式流处理、并发性和弹性恢复能力