Verified Rust for low-level systems code

The most over-engineered C++ assertion library

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Generic, iterative deserialization support for facet

JSON serialization & deserialization for facet

NPB-Rust: NAS Parallel Benchmarks in Rust

clustering algorithm implementation

Demonstrate different approaches to SIMD in Rust

RFCs for changes to Rust

Libraries for finite field, elliptic curve, and polynomial arithmetic