GitHub repository: lake-rs/lakers
Primary language: Rust
Description: EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.