Want to follow along with Rust development? Curious how you might get involved? Take a look! (more…)

awesome-rust - A curated list of Rust code and resources. (more…)

Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot... (more…)

Earlier this year, the Rust compiler gained support for LLVM source-base code coverage. Here's a look at how to setup a CI job in a Rust project to feed source-base coverage information to GitLab. (more…)

A writeup of our journey to improve the performance of Zellij... (more…)