Java-based space dynamics library from the Orekit community. Precise orbit propagation, attitude modeling, event detection. Popular with European startups and ESA contractors.