Funk

Compiler for hard real-time, functionally safe systems
Is freely licensed? ✅
NLNet grant pages