GitHub repository: zoep/rust-curve25519-fiat
Primary language: C
Description: Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project