编程语言

一门专为 AI 智能体代码生成工作流设计的实验性编程语言，具有零依赖、低内存占用、快速启动等特点。通过编译器 CLI 直接提供结构化的诊断信息和修复建议，帮助开发者更高效地编写和优化代码。

通过内联 R 注释生成 R 包文档，是星数高达 664 的热门 R 文档生成工具。

R 语言语言基础设施包

Swift 是 Apple 推出的现代化编程语言，旨在为 iOS、macOS、watchOS 和 tvOS 等平台提供简洁安全的开发体验。它结合了 C 和 Objective-C 的强大功能，同时消除了传统编程语言的诸多限制，拥有自动内存管理、类型安全等特性。Swift 不仅支持 Apple 生态开发，还通过开源实现了跨平台支持，可在 Linux 和 Windows 上运行。

Ruby 编程语言的官方源码仓库，由 Ruby 核心团队维护

一款已停止维护的编程语言

Rust 是一种注重性能、内存安全与并发的系统编程语言。其所有权系统在编译期检查内存访问，无需垃圾回收即可保证内存安全，并把大量并发错误拦截在编译阶段；凭借接近 C/C++ 的运行性能与零成本抽象，适用于操作系统、数据库、网络服务、命令行工具、WebAssembly 与嵌入式开发等场景。项目由 rust-lang 社区维护，官方包管理与构建工具为 cargo。

Bend 是面向 AI 编程时代设计的并行编程语言。它采用类 Python 语法，具备接近 C 的单核性能，并支持自动 GPU/CPU 并行加速。Bend 的核心特色是通过形式化证明（proof）和类型系统确保代码逻辑正确，提供 LAWS.bend 和 PROOF.bend 声明不变量，让 AI 生成的代码在每次改动后即时接受验证，防止逻辑错误。

Rocq 是交互式定理证明器与依赖类型编程语言，前身为 Coq，服务于数学与计算机科学等领域的机械化推理。用户以形式语言书写数学定义、可执行算法与定理，构建机器可校验的证明，还能从规范自动抽取 OCaml 或 Haskell 程序。Inria、巴黎西岱大学、宾夕法尼亚大学等机构日常使用，LGPL-2.1 协议，GitHub 5.5k star，最新版 9.2。

Lean 是开源的编程语言与证明助手，最小可信内核使数学证明与软硬件形式化验证获得机器可查的正确性保证，内置 grind 等自动化战术与元编程扩展能力。AWS 用它形式化验证授权策略语言 Cedar，以太坊基金会支持其 SNARK 验证库 ArkLib，Apache-2.0 协议，GitHub 9.2k star。

JavaScript 的超集，可编译输出干净的 JavaScript 代码

OCaml 核心系统，集成编译器、运行时与基础库，为高性能函数式编程提供坚实支撑。

运行在 JVM 上的动态/静态类型编程语言，Apache 软件基金会项目

Gleam 是一门编译到 Erlang 虚拟机（BEAM）的静态类型编程语言，主打类型安全与表达力。它提供完整的工具链，涵盖编译器、格式化、测试等 CLI 工具，并与 Erlang/Elixir 生态互操作，适合构建可靠、可并发的服务端系统。

Amazon/Alexa 主导的嵌入式 RTOS。

Scala 2 编译器与标准库，问题反馈请访问 GitHub，Scala 3 请移步 scala/scala3。

一款强类型编程语言，可编译为 JavaScript。

Kotlin编程语言，一种简洁、安全且与Java互通的现代开发工具，适用于Android、后端及多平台应用。

Clojure 是一门运行在 JVM 上的现代函数式编程语言，兼具 Lisp 的强大宏与不可变数据结构，适合构建并发、稳定且可扩展的应用程序。

轻量级、可嵌入的脚本编程语言，广泛应用于游戏开发、嵌入式系统