...PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools. It runs on Unix-based computers, including macOS and Linux.