Those spacecraft run all kinds of things. Philae also ships Ada (http://www.adaic.org/2014/11/rosettaphilae-run-on-ada/ http://www.adaic.org/2014/11/rosettaphil

Those spacecraft run all kinds of things. Philae also ships Ada (http://www.adaic.org/2014/11/rosettaphilae-run-on-ada/ http://www.adaic.org/2014/11/rosettaphilae-run-on-ada/)