Cyclone

Cyclone es un lenguaje de programación de sistemas seguros desarrollado en la Universidad de Stanford. Está diseñado para su uso en entornos con recursos limitados, como los sistemas embebidos, y proporciona seguridad de memoria y seguridad de tipos al tiempo que mantiene el rendimiento y la flexibilidad de C. Cyclone se ha utilizado en varios proyectos comerciales y de código abierto, como las implementaciones de OpenSSH y OpenVPN.