lan

面向AI编程代理的终端会话管理器。为Claude、Gemini、OpenCode、Codex等提供统一文本用户界面。

密度泛函工具包

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

PlantUML语法高亮文件 for Vim

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

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

Erlang自动化代码格式化工具

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

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

Julia有限元工具箱

提升您的Go语言开发体验

LangChain 项目文档

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

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

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

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

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

适用于 Erlang 的 MongoDB 驱动程序

适用于Erlang和Elixir的JSON对象签名与加密库

MobiFlight是一个开源项目，让您能够以灵活、经济且极其友好的方式为您喜爱的飞行模拟器打造专属家庭驾驶舱。

通过约束求解实现汇编超级优化

由Espresso Cash团队为Solana维护的Dart和Flutter应用及库。

Chef Infra Server 是配置数据的中心枢纽，用于存储 cookbook、节点策略以及受管节点的元数据。

该支持库用于处理Web协议。