SpaceDataLabSpace data · computed precisely
High-precision astrodynamics,
engineered in Rust.
SpaceDataLab builds an open, modern stack for orbit propagation, force modeling, GNSS, constellation design, and Earth-observation geometry — derived from the primary literature and differentially tested.
Capabilities
One stack, from orbit dynamics to imagery
A cohesive set of libraries covering the full path from a satellite's dynamics to the data it returns.
Astrodynamics core
High-order and symplectic integrators, full force models — geopotential, solid / ocean / pole tides, drag, solar radiation pressure, third body, relativity — and IAU 2006/2000A reference frames.
Constellations & coverage
Walker, street-of-coverage, flower, and kinematically-regular networks, with coverage, revisit, and figure-of-merit analysis.
GNSS
GPS, Galileo, BeiDou, QZSS, NavIC and GLONASS orbits, DOP geometry, and ionospheric / tropospheric delay models, with SP3 and RINEX support.
earthvision EO geometry
Satellite photogrammetry: RPC sensor models, bundle adjustment, orthorectification, stereo DSM, dense multi-view stereo, and atmospheric correction.
spacesignal SAR
Synthetic-aperture radar: range-Doppler and chirp-scaling focusing, interferometry, and tomography for elevation and deformation.
deepvision ML
Dependency-free neural-network inference with ONNX interop, built for on-board Earth-observation tasks.
Principles
Built to be trusted
Correctness is the product. Every result traces back to a reference.
Verified
Every model is differentially tested against primary references — IERS conventions, Orekit, and the source literature.
Lean by construction
A no_std Rust core: fast, memory-efficient, and stack-allocated — designed to run on the ground and in orbit.
Full precision
Double-double arithmetic and full-resolution models. Accuracy is a choice for the caller, never truncated for convenience.