GitHub repository: lasp/adamant
Primary language: Ada
Description: A model-based flight software framework for Ada