Video stabilization using gyroscope data

Raft distributed consensus algorithm implemented in Rust.

Verified Rust for low-level systems code

A static verifier for Rust, based on the Viper verification infrastructure.

Creusot helps you prove your Rust code is correct.

A precise specification for "Rust lite / MIR plus"

Research prototype tool for modular formal verification of C, Rust and Java programs

RiteRaft - A raft framework, for regular people

A static verifier for Rust, based on the Viper verification infrastructure.

A static verifier for Rust, based on the Viper verification infrastructure.