M

memory-safety

E-OS - a modern, memory-safe microkernel OS in Rust. A hardened AGPL-3.0 downstream of Redox OS.

Memory-Safe C string replacement for leaky strdup. Allocates memory on the stack to avoid malloc/free. Unlike a heap-allocated strings, t_str strings are of fixed size. By default, are 80 characters wide. Will truncate, not buffer overflow, if manipulated with t_str functions instead of stdio string function counterparts.

This project provides a type checker for the NanoC language.