I read a Why Not Rust? article the other day that was quite good but dismissed the most important reason to use a language to me: security. After having worked on a Rust codebase for almost two years now, I thought I would chime in, even though I'll prefa... (more…)
Read more »
easy to use cli animation lib based on crossterm. Contribute to Arteiii/zenity development by creating an account on GitHub. (more…)
Read more »
An RPC framework for Rust with a focus on ease of use. - google/tarpc... (more…)
Read more »
An experimental container runtime written in Rust. Contribute to utam0k/youki development by creating an account on GitHub. (more…)
Read more »
Kani is a Rust verification tool based on model checking.
With Kani, you can ensure that broad classes of problems are absent from your Rust code by writing proof harnesses, which are broadly similar to tests (especially property tests).
Kani is especiall... (more…)
Read more »
