lan

Nimbus：适用于资源受限设备的以太坊执行客户端

涵盖生物分子结构预测与设计深度学习工具的Colab笔记本合集

为所有人铺平通往开放智能体和通用人工智能的道路。

🤖 MateClaw — 您的第二大脑，具备多智能体编排、MCP协议、技能与记忆、梦境及多通道支持。基于Spring AI Alibaba构建。

一种提示工程函数式编程语言

用于编写互联网计算机容器的简单高级语言

使用VQAScore评估文本到图像/视频/3D模型

基于MLIR的新型高级中间表示实现，面向Clang编译器。

适用于 Neovim LSP 客户端的 Clangd 非规范功能扩展。请改用 https://sr.ht/~chinmay/clangd_extensions.nvim

专为结构体设计的Elixir轻量级状态机层

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.

Rust优先、跨平台的wgpu/WebGPU渲染器，通过Python接口实现快速、无头3D渲染。基于Rust构建，并以Python wheels形式发布。

为使用 Erlang VM (BEAM) 上运行的系统的开发人员提供的工具。它有助于性能分析。

密度泛函工具包

KaRaMeL 是一款将底层 F* 程序提取为可读 C 代码的工具

⛵ LandSandBoat - 最终幻想XI的服务器模拟器

嘉立创EDA专业版(EasyEDA Pro)自动化：给AI驾驭装上画板的「手」——一套类型原理图/PCB动作，CLI / Agent Skill / stdio MCP三种形态接入融合。承接嘉立创「不以卖板赚钱，以培养中国工程师为己任」 | EasyEDA Pro 自动化：您的 AI 工具之手 — 通过 CLI、Agent Skill 和 stdio MCP 输入原理图/PCB 操作。

A Julia Basket of Hand-Picked Krylov Methods

PlantUML语法高亮文件 for Vim

Wolfram 语言 / Mathematica 的 Rust 重实现项目

用于保护机器学习和 AI 系统的 MLSecOps 工具和资源的精选列表 - 对抗性 ML 防御、LLM 安全、AI 红队、模型扫描、供应链保护和 MLOps 管道安全。

Erlang自动化代码格式化工具

安全 MCP 隧道的客户运行客户端：将私有或本地主机 MCP 服务器连接到 ChatGPT、Codex、Responses API 和 AgentKit，而不将其暴露于公共互联网。

🐙 为OCTO提供支持的Go后端——一个为人类与AI智能体构建的开放工作空间。包含REST与WebSocket API、Lobster（AI智能体）编排以及WuKongIM实时消息控制平面。