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

Org profile for Mru

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

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…

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

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 …

Building @mruspace • ran bitcoin.org, led teams @coinbase • editor of Mastering Bitcoin & Mastering Ethereum • software that outlives its makers

Website for Mru Aerospace

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

Monte Carlo of redundancy policies on hardware that only ever decays