Yes: https://github.com/avr-rust

When you're writing code involving global state and interrupts, and any access to an integer larger than a u8 needs to be surrounded by cli() and sei() just for guaranteed atomicity, then you will truly come to value rust's statically enforced thread / memory safety.