Modern embedded framework, using Rust and async.

Kani Rust Verifier

Verified Rust for low-level systems code

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

Oxidized Astrodynamics

Safety-critical applications oriented Real-Time Operating System written in Rust

An online board game in Rust and WebAssembly

Safe, idiomatic bindings to cFE and OSAL APIs for Rust