Spark ada ccg GNAT AdaCore SPARK и Ada на любой платформе. Похоже, грядёт замена AdaMagic, которая будет поддерживать последние стандарты и будет более открытой.

У тормозов прогресса будет меньше нелепых оправданий