ROBOTC is a complete IDE for programming VEX Robotics microcontrollers.
It allows students to discover what Programming is.
Robot Virtual Worlds is a high-end simulation environment.