Shameless plug: Kit (https://www.kitlang.org https://www.kitlang.org), a statically typed language with no runtime, can interface with C without bindings (by di

Shameless plug: Kit (https://www.kitlang.org https://www.kitlang.org), a statically typed language with no runtime, can interface with C without bindings (by directly including C headers.) Kit includes features such as traits, term rewriting, algebraic data types and procedural macros, which make it more expressive than C without all the boilerplate. Zig (https://ziglang.org https://ziglang.org) and Lobster (https://github.com/aardappel/lobster https://github.com/aardappel/lobster) are also pretty interesting!