Project Status: In Development

At SEMC we love using open source methods and research ideas to improve software quality and reliability in space 🌌. We are big on composable software: functional, typed, immutable. A part of the Nexus Aurora team, we develop a variety of software, from systems-level robotics to high-level configuration languages.

We’re open to contributors, so if you want to shape the future of the software industry working with innovative teammates, join us!

salo Rust

Declarative, reproducible, statically typed build and deployment for Operating Systems.