And similarly, for Rust: https://github.com/smoltcp-rs/smoltcp

I've been using it in a toy OS project and it works brilliantly.