CMake - Logiciel de compilation, de test et de package.
ActionScript 3 - Langage orienté objet ciblant Adobe AIR.
Eta - Langage de programmation fonctionnel pour la machine virtuelle Java.
Idris - Langage de programmation fonctionnel pur à usage général avec types dépendants influencés par Haskell et ML.
Ada / SPARK - Langage de programmation moderne conçu pour les applications volumineuses et à vie longue où la fiabilité et l'efficacité sont essentielles.
Q # - Langage de programmation spécifique à un domaine utilisé pour exprimer des algorithmes quantiques.