Search Results for "safe"

Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in streaming or sandbox-free environments. ...

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 eliminate entire classes of errors. Checked C does not address use-after-free errors. Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by making fundamental improvements to C. ...

AQ is a fast, small, simple and safe interpreted programming language. It may be a great work.

Churmant (cure-ment), is a compiler for C language, it's used for producing Lua-like code, but also run in a blazingly fast speed, when compared to others. It also is very easy to maintain and read the header file, if you want to contribute. The reason why Churmant is its own language, is because its syntax are not like C entirely, like normal keyword cannot be stack inside each other, for example.