Myrddin is a systems programming language that covers a similar niche
as C including desktop, OS, and embedded development, but at the same
time making it harder to shoot yourself in the foot.

It is designed to be a simple language that runs close to the metal,
giving the programmer predictable and transparent behavior and mental
model.  It also does strong type checking, generics, type inference,
closures, and traits.

Myrddin is not a language designed to explore the forefront of type
theory or compiler technology.  It is not a language that is focused
on guaranteeing perfect safety.  It is satisfied to be a practical,
small, fairly well defined, and easy to understand language for code
that needs to be close to the hardware.