> Wuffs the Library is available as transpiled C code
> However, unlike hand-written C, Wuffs the Language is safe with respect to buffer overflows, integer arithmetic overflows and null pointer dereferences. A key difference between Wuffs and other memory-safe languages is that all such checks are done at compile time, not at run time. If it compiles, it is safe, with respect to those three bug classes.
Sounds a lot like ZZ. [0] It also sounds much like SPARK Ada, except for transpiling to C.
> However, unlike hand-written C, Wuffs the Language is safe with respect to buffer overflows, integer arithmetic overflows and null pointer dereferences. A key difference between Wuffs and other memory-safe languages is that all such checks are done at compile time, not at run time. If it compiles, it is safe, with respect to those three bug classes.
Sounds a lot like ZZ. [0] It also sounds much like SPARK Ada, except for transpiling to C.
[0] https://github.com/zetzit/zz