Cyclone

Cyclone is a safe systems programming language developed at Stanford University. It is designed to be used in resource-constrained environments, such as embedded systems, and provides memory safety and type safety while maintaining C-like performance and flexibility. Cyclone has been used in a number of commercial and open-source projects, including the OpenSSH and OpenVPN implementations.