Outperforming Rust with Functional Programming
Outperforming Rust With Functional Programming... (more…)
Read more »Objective-Rust
Rust macros allow cursed chimeric languages to exist… Read more
Similar
Raft distributed consensus algorithm implemented in Rust
Raft distributed consensus algorithm implemented in Rust. - tikv/raft-rs... (more…)
Read more »CubeCL: Write optimal and portable GPU kernels using a subset of Rust syntax
Multi-platform high-performance compute language extension for Rust. - tracel-ai/cubecl... (more…)
Read more »CreuSAT: A formally verified SAT solver written in Rust
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 »Rust 1.48.0
Empowering everyone to build reliable and efficient software. (more…)
Read more »The latest Rust news to your inbox. Once a month.
No spam and it’s easy to unsubscribe.