As I understand it, this is an alternative to Ada? But to be honest, I did not really understand the essence of the project, I think I need to study it better in the website