#compiler 每日趋势报告

面向 Rust 程序的验证工具链

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

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

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

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

Crystal编程语言

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