This category is on Cyclone, a C dialect, based partly on Cornell University's Popcorn safe C-like assembly language, part of their Typed Assembly Language (TAL) project. Cyclone is type-safe like Java, Scheme, and ML; and polymorphic. It gives C's low level speed and control of data representation and memory management, but is far safer, preventing writing programs with buffer overflows, dangling pointers, format string attacks, etc. It is easy to port or interface with legacy C code.