Nim is a statically typed, imperative programming language that generates native code via compilation to C. It provides a non-tracing GC, high level datatypes and local type inference, and bindings to a lot of C libraries.