Cyclone

Cyclone é uma linguagem de programação de sistemas seguros desenvolvida na Universidade de Stanford. Foi concebido para ser utilizado em ambientes com recursos limitados, tais como sistemas incorporados, e proporciona segurança de memória e tipo de segurança, mantendo ao mesmo tempo o desempenho e a flexibilidade do tipo C. O Cyclone tem sido utilizado em vários projectos comerciais e de código aberto, incluindo as implementações OpenSSH e OpenVPN.