mars-mpl

github.comtool

Mars Polar Lander (Crash) Simulator (gtkada, aicwl).

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   eagle-lander github.com

   Apollo 11 lunar lander simulator (gtkada/Cairo).

   tool link ↗
   
2. ▲

   agpl github.com

   Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

   tool link ↗
   
3. ▲

   maplab github.com

   An open visual-inertial mapping framework.

   tool link ↗
   
4. ▲

   Mars github.com

   tool link ↗
   
5. ▲

   ada-ml github.com

   Ada-tailored UML Modeling Language.

   tool link ↗
   
6. ▲

   MissionPlanner ardupilot.org

   Waypoint Mission planning esp. for Ardupilot.

   site link ↗
   site

Ada/SPARK › Applications > Simulation: “Mars Polar Lander (Crash) Simulator (gtkada, aicwl).”