ROBOTC is a robotics programming language for educational robotics.