A language that supercedes C, but with a borrow-checker

[orangetuba]

I am interested in safe languages, but without the complexity of Rust. I already spent many years working with C++, and I notice similar tendencies with Rust. Are there any up and coming, safe alternatives to C, without, perhaps generics and all that it entails?

[niktar]

May be this is what you are looking for: https://vale.dev/

[orangetuba]

Thank you! That is definitely an interesting language. However, it seems like development has stopped. The GitHub page says: "Note: For personal reasons, I'm on an extended break from the coding side of Vale, feel free to DM me on discord for details. - Evan Ovadia"