通用编程语言及工具链，用于维护健壮、高效且可复用的软件。

适用于实时应用的无垃圾收集静态类型Lisp语言

Go 编程语言

让每个人都能构建可靠高效的软件

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

Solidity：智能合约编程语言

Ruby编程语言

用Rust编写的Python解释器

Slint是开源的声明式GUI工具包，可为Rust、C++、JavaScript或Python应用程序构建原生用户界面。

♞ lichess.org：永久免费、无广告、开源的国际象棋服务器 ♞

👶🏻 面向新晋开发者的专业技术知识与技能面试百科全书 📖

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

Bartosz Milewski《程序员范畴论》非官方PDF与LaTeX源码

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

《实现解释器》一书的配套代码库

C3语言编译器

ZIO —— 面向Scala异步与并发编程的类型安全可组合库

Kotlin 演进与增强流程

💥💻💥 一种数据并行的函数式编程语言

面向Scala的函数式JDBC层。