programming-language

Go 编程语言

Kotlin编程语言

Julia 编程语言

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

Solidity：智能合约编程语言

Ruby编程语言

Rust编程语言

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

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

来自未来的友好编程语言

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

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

多语言预配置代码片段集合

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

Plutus语言实现及相关工具

支持异构量子经典工作流的CUDA Quantum编程模型的C++与Python实现

一种提示工程函数式编程语言