language

Erlang语言服务器

适用于Linux和macOS的日语输入法系统，基于神经网络的假名-汉字转换引擎

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

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

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

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

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

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

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

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

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

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

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

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

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

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

一个全新的Julia语言服务器，支持基于现代编译器的工具链。

IQ系列是一套面向Microsoft IQ的实践学习体验：Microsoft为企业打造的统一个人智能层，涵盖Foundry IQ、Work IQ和Fabric IQ。该系列包含视频剧集、Jupyter笔记本和Azure部署模板。

支持GPU的非线性规划求解器

为SciML科学机器学习组织提供的数值积分与求积通用接口

🪢 Langfuse 文档 —— Langfuse 是开源的 LLM 工程平台。提供可观测性、评估、提示词管理、游乐场和指标功能，用于调试和改进 LLM 应用

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

@vlang语言服务器，满足您所有编辑需求，如跳转到定义、代码补全、类型提示等功能。

Julia线性算子库