#programming-language 每周趋势报告

cuda-oxy 是一个 Rust 到 CUDA 的编译器，可让您使用安全（ish）、惯用的 Rust 编写（SIMT）GPU 内核。它将标准 Rust 代码直接编译为 PTX——没有 DSL，没有外语绑定，只有 Rust。

Julia 编程语言

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

Ruby编程语言

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

Crystal编程语言

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