Ada, Nim, D.
Ada: no GC. Enormously powerful language if you use the newer standards. Very well designed. Verbose. What community there is is relatively based.
Nim: the polar opposite of verbose. People will say it's "like Python" but typical Python code is both more verbose and less clear. Nim has a lot of good ideas but you'll run into a lot more defects than you would v. Ada. You get a bunch of GC options and a *realistic* no-GC option called --newruntime is in development. Community varies, but the main dev is a cool cucumber.
D: take Nim, shake a bunch of good ideas off of it, make it C-like, and invest a lot more in stability (although instability in experimental features is a popular forum gripe). You've got dmd, ldc (the fast one), gdc (the gdb-debuggable one). The community's OK. The GC is pretty mandatory unless you're writting -betterC, which is still (per the name) a better language than C.
None of these are scripting languages (although D can be used as a scripting language with rdmd and Nim has a community project that's similar). They all interface well enough with C. They're all, honestly, pretty good languages. Even Ada has surprising depths.