Shameless plug: Kit (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) and Lobster (https://github.com/aardappel/lobster) are also pretty interesting!