Cyclone

Cyclone est un langage de programmation de systèmes sûrs développé à l'université de Stanford. Il a été conçu pour être utilisé dans des environnements à ressources limitées, tels que les systèmes embarqués, et offre une sécurité de la mémoire et des types tout en conservant des performances et une flexibilité similaires à celles du langage C. Cyclone a été utilisé dans un certain nombre de projets commerciaux et open-source, y compris les implémentations OpenSSH et OpenVPN.