Zig

rel: https://ziglang.org/
ref: https://ziglang.org/documentation/

For me, using Zig has been nothing short of amazing. It is the only system programming language that obeys Calculus of Constructions, so, it, along with Idris and Lean, are the only programming languages that I really liked.

While the language itself is mathematically sound, the standard library right now… do expect bugs everywhere. If you are writing a serious low-level program today in Zig, I advise you to use libc instead of std.(io|os).

I believe that its creators are blessed by math.