GitHub repository: Componolit/gneiss
Primary language: Ada
Description: Framework for platform-independent SPARK components