Found a language in development called Vale which claims to be the safest AOT compiled language in the World (Claims to beSafer than Rust)

• Vale

  64 1,672 6.8 Scala

  Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  

• ponyc

  61 5,598 9.3 C

  Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  

And that last point is critical. If the language flatly can't represent some concepts it uses, they have to be implemented somewhere else. I had a similar discussion with a proponent for Pony once- the language itself is 100% safe, and fully dependent on C for its runtime and data structures. One of Rust's core strengths is being able to express unsafe concepts, meaning the unsafe code can expose a safe interface that accurately describes its requirements rather than an opaque C ABI. Vale doesn't seem to do that.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• cargo-geiger

  30 1,310 5.4 Rust

  Detects usage of unsafe Rust in a Rust crate and its dependencies.

  

There's still plenty. Run cargo geiger on any of your projects and see for yourself.

Suggest a related project