In the early 80's I worked on a Jovial compiler and runtime libraries for the Mil Std 1750A processor (which was a spec delivered from several companies in hardware) used by the Airforce and also used on various NASA spacecraft, in my case we used it on the F16 Fighter. Fairly sophisticated for back then, an antique today.
This youtube channel has more great NASA documentaries as well.