Mru Aerospace

Pinned Loading

1. brand brand Public

   Mru brand kit: the mark, the lockup, colors and the animated mark

   JavaScript 1

2. whitepaper whitepaper Public

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

   TeX 3

3. field field Public

   Mru Field: software that keeps hard-to-reach systems on Earth delivering checked results as their hardware fails. Runs an operator's task as three replicas, delivers only checked outputs, and steps…

   Rust 1

4. flight flight Public

   Onboard software that keeps a spacecraft working as its processors fail, for missions with no repair path. Kani-checked no_std Rust core, F´ components, fault-injection demo. Ran in orbit on ESA's …

   C++ 1

5. docs docs Public

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

   Astro 1

6. website website Public

   Website for Mru Aerospace

   Astro 1