Codice sorgente dell'emulatore Astro Pi

Gli studenti che partecipano all’iniziativa Astro Pi dell’ESA scrivono i loro programmi con l’emulatore Astro Pi che gira sulla piattaforma online Trinket. È disponibile il codice sorgente dell’emulatore Astro Pi? L’ESA lo ha rilasciato?