Mru Aerospace

Popular repositories Loading

1. whitepaper whitepaper Public

   Mru: A Fault-Tolerant Operating System for Thousand-Year Autonomous Operation (whitepaper source). doi:10.5281/zenodo.20579438

   TeX 2

2. website website Public

   Website for Mru Aerospace

   Astro 1

3. dusk dusk Public

   Monte Carlo of redundancy policies on hardware that only ever decays

   Rust 1

4. 2049 2049 Public

   A browser flight simulator on real astronomical data: the solar system and the nearby stars, to scale

   TypeScript 1

5. flight flight Public

   Onboard software that keeps a spacecraft working as its computers fail: a Kani-verified no_std Rust core, a fault-injection demo, and static ARM builds. F´ components next.

   Shell 1

6. docs docs Public

   Documentation for Mru's open core: docs.mru.space

   Astro