@luana @bagder yup, the Ingenuity mission famously runs on a ton of open source software, there's a github badge for it https://github.com/readme/featured/nasa-ingenuity-helicopter
the complete list of software is here https://docs.github.com/en/account-and-profile/setting-up-and-managing-your-github-profile/customizing-your-profile/personalizing-your-profile#list-of-qualifying-repositories-for-mars-2020-helicopter-contributor-achievement