Avrora is a set of tools for programs that run on the AVR series of microcontrollers produced by Atmel. It contains a flexible framework for simulating, analyzing, and optimizing assembly programs, and provides a clean Java API and infrastructure for experimentation, profiling, and analysis.
The Virgil Programming Language is designed for building robust, flexible, and scalable software systems on embedded hardware platforms such as microcontrollers. Virgil builds on ideas from object-oriented, statically typed languages like Java, providing a clean, consistent source language. Its compiler system provides an efficient implementation for resource-constrained environments.