Posted by Jeff Vander Stoep and Stephen Hines, Android Team Correctness of code in the Android platform is a top priority for the securit... (more…)

This adds experimental support for generators intended to land once rust-lang/rfcs#2033 is approved. (more…)

Two years ago I started the cex project to support checked exceptions in Rust. After eating my own dog food, I'd like to share some thoughts - with little code and more like an essay. Checked exceptions provide code-as-documentation #[cex] pub fn foo()... (more…)

This process is automatic. Your browser will redirect to your requested content shortly. (more…)

A Rust library for lattice-based additive homomorphic encryption. - facebookresearch/Cupcake... (more…)