GitHub repository: ARISSIM/ARISS
Primary language: C++
Description: An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)