It's mentioned in the article, but I'm pointing out because I think it's really cool - FPrime, the JPL flight software framework used on (among other things) t

It's mentioned in the article, but I'm pointing out because I think it's really cool - FPrime, the JPL flight software framework used on (among other things) the Ingenuity Mars helicopter, is open source: https://github.com/nasa/fprime https://github.com/nasa/fprime There are third-party repos built around FPrime as well as documentation and training materials available here: https://github.com/fprime-community https://github.com/fprime-community