#programming-language 每日趋势报告

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

模块化平台（包含 MAX 和 Mojo）

Julia 编程语言

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

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

来自未来的友好编程语言

Crystal编程语言

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

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