lan

密度泛函工具包

适用于每个 AI 编码代理的最快的开发人员工作流程。来自一个 tmux TUI 的实时状态、快速提示、工作树和差异审查。

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

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

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

A Julia Basket of Hand-Picked Krylov Methods

PlantUML语法高亮文件 for Vim

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

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

Erlang自动化代码格式化工具

将 Amazon Echo Dot 或 Echo Show 转变为完全本地的 Home Assistant 语音卫星、媒体播放器、显示器和蓝牙代理。没有亚马逊，就没有云。

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

具备词法作用域处理程序和轻量级作用域多态性的语言

LangChain 项目文档

Julia有限元工具箱

提升您的Go语言开发体验

Arch Linux + Hyprland desktop: a Quickshell shell with a dynamic island, desktop widgets, notes and tasks, and a one-script installer

Smart Island 是 Android 动态岛体验的现代开源实现。它将通知、媒体播放、来电、定时器、充电状态和其他实时活动转变为一个美丽的浮岛，具有流畅的动画和优质的用户体验。

Immergo是一款基于Google Gemini Live SDK开发的沉浸式语言学习应用。

一个面向@ziglang的极简2d/3d游戏框架。

努里：函数式韩语编程语言

安卓端设备本地人工智能——支持大语言模型聊天、视觉语言模型、图像生成、工具调用、AI角色扮演、检索增强生成知识包、文本转语音与语音转文本。完全离线运行，无需订阅，开源免费。

具有任意嵌套命名组件的数组。

适用于 Erlang 的 MongoDB 驱动程序