Cheap configuration language. Contribute to tweag/nickel development by creating an account on GitHub. (more…)
Read more »
A WebGPU-accelerated ONNX inference run-time written 100% in Rust, ready for native and the web - GitHub - webonnx/wonnx: A WebGPU-accelerated ONNX inference run-time written 100% in Rust, ready fo... (more…)
Read more »
CreuSAT : A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT : A formally verified SAT solver written in Rust and verified with Creusot. (more…)
Read more »
I am the Rust programmer, I will rewrite the world in Rust. I will rewrite the world in Rust because the world is unsafe. As I am the Rust programmer I will ... (more…)
Read more »
As part of the Ergonomics Initiative, I and several others on the Rust language team have been taking a hard look at Rust’s module system. There are two related perspectives for improvement here: learnability and productivity. Modules are not a place th... (more…)
Read more »