#compiler 每周趋势报告

面向 Rust 程序的验证工具链

Protocol Buffers - Google的数据交换格式

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

Verilator开源SystemVerilog模拟器与代码检查系统

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

Nim 是一种静态类型编译系统编程语言。它结合了 Python、Ada 和 Modula 等成熟语言的成功概念。它的设计侧重于效率、表现力和优雅（按优先顺序）。

核心 OCaml 系统：编译器、运行时系统和基础库

ReScript 是一种强大的类型语言，可以编译为高效且人类可读的 JavaScript。

Crystal编程语言

面向WebAssembly的优化器与编译器工具链库

一种面向WebAssembly的类TypeScript语言。

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

您钟爱的编程语言更贴近底层硬件。