Satellite Procedure Execution Language and Library
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
A multi-modeling and simulation environment to study complex systems
Eclipse-based IDE for design verification tasks
Linux for Arduino and Makers developers