The Clay programming language is a type-safe variant of C/C++ that was developed at Tachyon technologies. It recently appeared on
bitbucket's open source repository to let developers find new, innovative uses for its highly reusable and efficient code. Clay's runtime overhead and memory footprint are on the same level as C. The language is perfect for writing embedded systems, garbage collectors, database servers, games, and more.

Programmers who have written C++ templates know that the longer type names in generic code make the templates verbose, but Clay solves this issue with a whole-program type propagation. When generic programming is combined with the entire program type propagation, developers can write high-level code that is on par with scripting language conciseness.

One feature of Clay that really makes it efficient is the LLVM backend. The LLVM compiler infrastructure is used to optimize the type-specialized low-level code generated during Clay's compilation. As mentioned before, this low-level code is equivalent to C in performance, according to the project's developers.
Here is a more concise list of Clay's primary features and advantages:

Machine memory model

Value semantics

Whole program type propagation

Module system

Extensible variant types

Multiple dispatch

Powerful compile time meta-programming

Interoperability with C

No garbage collection

LLVM backend

Clay is a fully functioning compiler available for Mac, Windows, and Linux. You can learn more about the Clay programming language
here.