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. As 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 by working with innovative teammates, join us!

Current projects:


Salo is a declarative, reproducible, statically-typed configuration language for building and deploying operating system images.


Europa is a library for the F-prime framework, providing common flight software components for mission development.

  • Bobbbay
  • Nathaniel Hargrave