Well, at least, the NLL borrow checker finally got fully enabled by default – but that’s not as catchy of a title, is it?

A tiny, self-contained, configurable paste bin and URL shortener written in Rust. – GitHub – szabodanika/microbin: A tiny, self-contained, configurable paste bin and URL shortener written in Rust.

Like a number of other folks, I have recently been exploring some slightly less well-worn corners of the Rust type system. In my particular case, this involv…

TL;DR: This post documents my attempts of building a Rust binary in CI that would work on older Linux systems. I was using GitHub Actions, but it should be also applicable for other CI systems. You can find the final solution at the end.

We present Aeneas, a new verification toolchain for Rust programs based on a lightweight functional translation. We leverage Rust’s rich region-based type system to eliminate memory reasoning for many Rust programs, as long as they do not rely on interior…

Secondary indices for RocksDB in Rust. Contribute to nlfiedler/mokuroku development by creating an account on GitHub.

Serving ML for 150+ million users using Rust: a couple of lessons!

Naivechain implementation in rust. Contribute to erenoku/naivechain-rs development by creating an account on GitHub.

🚀 A modern-looking Code Editor. Contribute to Graviton-Code-Editor/Graviton-App development by creating an account on GitHub.