programming-language

Go 编程语言

Kotlin编程语言

Julia 编程语言

用于开发可维护软件的简单、快速、安全编译型语言。在零库依赖条件下自编译时间小于1秒。支持自动将C代码转换为V代码。https://vlang.io

Carbon语言主仓库：文档、设计、实现及相关工具

模块化平台（包含 MAX 和 Mojo）

Solidity：智能合约编程语言

Bend 2：一种通过证明阻止人工智能错误的快速语言。安装：curl -fsSL https://bend-lang.com/install.sh |嘘

Ruby编程语言

⭐️ 用于构建类型安全可扩展系统的友好语言

Crystal编程语言

The Rust Programming Language

Scala 2编译器与标准库。Scala 2错误报告请提交至https://github.com/scala/bug；Scala 3项目位于https://github.com/scala/scala3

Dart SDK，包括虚拟机、JS与Wasm编译器、分析器、核心库等组件。

为提示工程增添工程化能力的AI框架（兼容Python/TS/Ruby/Java/C#/Rust/Go）

来自未来的友好编程语言

源自Lua的快速、小巧、安全、渐进式嵌入式脚本语言

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

cuda-oxy 是一个 Rust 到 CUDA 的编译器，可让您使用安全（ish）、惯用的 Rust 编写（SIMT）GPU 内核。它将标准 Rust 代码直接编译为 PTX——没有 DSL，没有外语绑定，只有 Rust。

Agda是一种依赖类型编程语言/交互式定理证明器。

一本关于 Zig 编程语言的开放式技术入门书籍 📚📖

用于文学编程法律规范的编程语言

精简、高效、静态类型且支持元编程的系统编程语言，深受Lua启发，可编译为C语言和原生代码。

Vale编程语言的编译器 - http://vale.dev/