language

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

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

一个全新的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：智能合约编程语言

《深入理解AI Agent：设计原理与工程实践》（李博杰着）开源主仓库：全书正文、编译版PDF与按章安装代码

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

Kotlin编程语言

Kotlin 演进与增强流程