Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and elimina...
翻译 - Checked C是对C的扩展,它添加了检查以检测或防止常见的编程错误(例如缓冲区溢出和越界内存访问)的检查。此仓库有一个用于Checked C,示例代码,规范和测试代码的Wiki。
Distributed systems runtime daemon written in Rust.