programming-language

Go 编程语言

Kotlin编程语言

Julia 编程语言

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

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

Solidity：智能合约编程语言

Ruby编程语言

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

Crystal编程语言

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的快速、小巧、安全、渐进式嵌入式脚本语言

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

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

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

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

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

Plutus语言实现及相关工具

EOLANG，一种基于𝜑-演算的实验性纯面向对象编程语言

Siri 快捷指令编程语言 🍒

面向开发者的编程语言学习平台。通过对比学习掌握新语言。提供交互式编辑器、性能监控和多语言支持。