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

A spotify daemon. Contribute to Spotifyd/spotifyd development by creating an account on GitHub. (more…)

A simple, secure and modern encryption tool with small explicit keys, no config options, and UNIX-style composability. - str4d/rage... (more…)

Testing is a cheap, easy way to find bugs. Learn how to write doctests, black- and white-box tests, helpers, fuzz testing and more to test your Rust code. (more…)

My (mis)adventures with async, tokio, and async_std... (more…)