[Verdex]

There is also: https://github.com/odin-lang/Odin and https://www.kitlang.org/

That are trying to get into the C replacement business.