language

安卓端设备本地人工智能——支持大语言模型聊天、视觉语言模型、图像生成、工具调用、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线性算子库

基于Actor模型、类型安全且快速的编程语言。

生成一切（专注于研究型软件）

用于分布式系统与点对点网络的编程语言

Modelica语言规范

Viper中间验证语言的定义

Brunot - 带有挪威风情的编程语言

使用此快速入门指南，加速在Canton网络上构建应用程序！

Lenguajes de Interfaz（ARM / RISCV 汇编语言）

一种配置即代码语言，具备丰富的验证功能和工具支持。

Solidity：智能合约编程语言

语音转语音：致力于构建开源模块化GPT4-o的项目

Kotlin编程语言

Kotlin 演进与增强流程