Nyx: Comprehensive Spaceflight Dynamics
-Empowering flight dynamics engineers with open-source software
-Nyx provides flight dynamics engineers with a set of powerful, open-source tools for mission design and orbit determination. From trajectory optimization to orbit estimation, Nyx is built for speed, automation, and scalability. It dramatically reduces simulation time compared to commercial products, and integrates seamlessly into automated workflows across various platforms. Nyx has proven mission-critical reliability, already contributing to the success of three lunar missions.
+High Fidelity Mission Design
+Nyx
+Nyx provides flight dynamics engineers with a set of powerful, open-source tools for mission design. From trajectory optimization to high-fidelity modeling, Nyx is built for speed, automation, and scalability. It dramatically reduces simulation time compared to commercial products and integrates seamlessly into automated workflows.
Learn more - Math Spec - - - Rust API - Code - - + Math Spec +Deep Space Orbit Determination
+Ansys ODTK Replacement (Nyx)
+Advanced orbit estimation and filtering for deep space missions. Nyx acts as a highly performant and open-source alternative to proprietary solutions like Ansys ODTK. It has proven mission-critical reliability, already contributing to the success of three lunar missions.
+ Rust API + CodeANISE: Modern rewrite of NASA's SPICE toolkit (TRL-9)
-Landed Firefly Blue Ghost on the Moon in March 2025
-NASA's SPICE toolkit marked a significant advancement in space mission analysis. However, its FORTRAN foundation, complex API, and incompatibility with multi-threaded applications limits its scope. ANISE is a complete rewrite of SPICE, offering a user-friendly API and bindings to Rust, C++, and Python. Designed with thread- and memory-safety as a core feature from the outset, ANISE is a significant step forward in space mission software.
+Validated SPICE Replacement
+ANISE
+Validated and expanded SPICE replacement via ANISE with multi-thread and no race conditions. It is up to 500x faster than Ansys STK. Designed with thread- and memory-safety as a core feature from the outset, ANISE landed Firefly Blue Ghost on the Moon in March 2025.
Learn more - Tutorials - Reference - - Explanations - Code - + Tutorials + CodeHifitime: Precision Time Management
-Advanced library for time systems conversions (UTC, ET, TAI, ...)
-Space applications require high fidelity time compution, including time systems that ignore the relativistic effects due to the gravity of the Earth. Hifitime is formally verified, thoroughly tested, and works on desktop, web assembly, and bare-metal platforms. Hifitime is arguably the most precise time management library in the world and trusted by institutions that require nanosecond precision.
+Precision Time Management
+Hifitime
+An overflow-safe, high-performance datetime library providing leap-second-correct nanosecond precision across UTC, GPST, and relativistic time-scales. Flight-proven in lunar and deep-space missions, it works on desktop, web assembly, and bare-metal platforms.
Learn more - Python docs - - - - Rust docs - Code - + Python Docs + CodeTrusted by Industry Leaders
-See who's already benefiting from our tools
-Our tools are trusted and actively used by leading companies in the aerospace and technology sectors. Their commitment to using Nyx, Hifitime, and ANISE is a testament to the reliability, efficiency, and advanced capabilities of our software.
-Trusted by Industry Leaders
+See who's already benefiting from our tools
+Our tools are trusted and actively used by leading companies in the aerospace and technology sectors. Their commitment to using Nyx, Hifitime, and ANISE is a testament to the reliability, efficiency, and advanced capabilities of our software.
+ +
-
-
-
-
-
-
-
-
-
-
-
- 











- Contact Form + Contact Form
High Fidelity Mission Design
-Nyx
-Nyx provides flight dynamics engineers with a set of powerful, open-source tools for mission design. From trajectory optimization to high-fidelity modeling, Nyx is built for speed, automation, and scalability. It dramatically reduces simulation time compared to commercial products and integrates seamlessly into automated workflows.
- Learn more - Math Spec +Advanced Flight Dynamics
+Complex mission orchestration
+Model entire constellation lifecycles by targeting coupled multi-spacecraft trajectories and automating repeated, multi-phase operational conops sequences. Elevate estimation and environmental fidelity with mission-critical features, including consider covariance filtering to manage unestimated systematic errors, simultaneous ground station tracking bias estimation, and high-fidelity NRLMSISE-00 atmospheric drag modeling.
+ Learn moreDeep Space Orbit Determination
+Orbit Determination
Ansys ODTK Replacement (Nyx)
-Advanced orbit estimation and filtering for deep space missions. Nyx acts as a highly performant and open-source alternative to proprietary solutions like Ansys ODTK. It has proven mission-critical reliability, already contributing to the success of three lunar missions.
- Rust API - Code +Mathematically rigorous estimation pipelines featuring extended Kalman filtering, backwards smoothing, and state noise compensation. Designed to drive raw tracking measurements to rapid operational convergence within automated Python workflows, or to execute deterministically as lightweight, high-fidelity flight software onboard the spacecraft.
+ Lunar OD demo +Mission Design & Optimization
+Ansys STK Replacement (Nyx)
+High-fidelity multi-body geometry analysis and trajectory optimization engines. Run complex low-thrust orbit raising sequences or multi-island genetic algorithm searches natively in Python at compiled-Rust speeds, compressing mission trade-space exploration loops from weeks to minutes.
+ GEO low thrust orbit raise +Monte Carlo & Dispersion Analysis
+500 simulation days per minute
+Massive-scale parallel operational-level risk analysis. Leverage concurrent, thread-safe architecture to distribute thousands of high-fidelity orbital runs across cloud-compute instances, translating statistical uncertainty into hard operational constraints, all on prem, for free.
+ James Webb Monte CarloValidated SPICE Replacement
ANISE
-Validated and expanded SPICE replacement via ANISE with multi-thread and no race conditions. It is up to 500x faster than Ansys STK. Designed with thread- and memory-safety as a core feature from the outset, ANISE landed Firefly Blue Ghost on the Moon in March 2025.
+A thread-safe, zero-cost alternative to legacy SPICE toolkits, delivering deterministic planetary, coordinate frame, and instrument transformations. Engineered for high-throughput Python concurrent execution and bare-metal flight software, with proven lunar flight heritage, landing Blue Ghost on the Moon in March 2025.
Learn more Tutorials - CodeAn overflow-safe, high-performance datetime library providing leap-second-correct nanosecond precision across UTC, GPST, and relativistic time-scales. Flight-proven in lunar and deep-space missions, it works on desktop, web assembly, and bare-metal platforms.
Learn more Python Docs - CodeTrusted by Industry Leaders
See who's already benefiting from our tools
Our tools are trusted and actively used by leading companies in the aerospace and technology sectors. Their commitment to using Nyx, Hifitime, and ANISE is a testament to the reliability, efficiency, and advanced capabilities of our software.
-