Verified Rust for low-level systems code

A library to create SMT-LIB2 code from Rust.

Low level access to Cortex-A processors

Library for Assembling C/C++ Code from Rust

Hardware decoding net model in Isabelle/HOL

Authenticator Plus is one-time passcode generator for 2-step verification, with Backup/Restore, Seamless Sync across devices, encrypted data storage and other customisation options.

Read-only mirror of Trusted Firmware-A

Magnificent app which corrects your previous console command.