AdaCore introduced the GNAT Pro Ada development environment for the Atmel AVR 8-bit microcontroller. GNAT Pro for AVR includes a Zero Footprint run-time library that is particularly well adapted to meet the small memory constraints of the AVR microcontroller. GNAT Pro is a full-featured, multi-language development environment. GNAT Pro includes libraries, bindings, and a range of supplementary tools (such as automatic documentation generator, code metric tool, code standard checker, and a unit testing framework). GNAT Pro is distributed with complete source code. GNAT Pro for AVR is available now.
More info: AdaCore