Dépôts open source suivis de Copilot-Language, triés par étoiles.
Un framework de vérification à l'exécution basé sur les flux pour générer du code C temps réel strict.
