For me a C-replacement has to be a very simple and disciplined language, with 100% focus on low-level programming.
Nim is great though, I've used it to make some small tools/programs
Zig is also wonderful, hope to use it more once it's more stable
If you have tried Zig and/or a C or C++ programming, you might really enjoy programming in Odin. Odin feels wonderful to use and has solved all of the issues that C had and more.
I recommend reading the Overview (https://odin-lang.org/docs/overview/) and the Demo (https://github.com/odin-lang/Odin/blob/master/examples/demo/...)
P.S. Odin is now fully recognized by GitHub and supports syntax highlighting.
Nim should be with D in the category 'C++ replacement with a GC by default'.
Go was designed to fill the need that C was originally developed for (writing Unix applications), not for what C is more commonly used for today.
IMO it does deserve a place in that list today and is definitely worth a gander.
One cool aspect of all of these new programming languages entering the arena is that most of them only have a minimal (or no) runtime. That should make it much easier to interoperate between all of these languages, something which has traditionally been difficult with most programming languages.
Disclosure: I'm the author of Muon [1], a low-level language that embodies similar design principles.
I wonder if a large company will throw into this royal of small and productive system languages. It seems like Nim, Zig/Odin, and presumably Jai all fit into their corners well. Someone with funds to generate tooling and combine the static structure of Zig, the productivity of coding in Nim. I think these language have all shown the potential for a great new language in this space.