GitHub repository: AeneasVerif/symcrust
Primary language: C
Description: Experimenting with a rewrite of https://github.com/microsoft/SymCrypt/ in Rust