In earlier versions of X-Plane flight simulator you could design aircraft to fly on Mars. Lots of fun. Anything from helicopters like Ingenuity to fixed wing rocket planes. The physics/math behind it is accurate enough that NASA has used it in the design of terrestrial aircraft.