2 projects
project-ghost
Autonomy under uncertainty: closed-loop reference pipeline + 5 formal safety properties verifiable byte-exact from any MCAP + TLA+ mechanically-verified BAUD/ERUR/MD/partition over the abstract state space.
orbital-sentinel
Open-source platform for observing, propagating, and reasoning about the satellite population from public data.
