A stripped-down version of Rust's libcore that can be compiled for the AVR target - View it on GitHub