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

  23 1,588 0.0 Scala

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

  

• ponyc

  19 5,521 8.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.

• InfluxDB

  www.influxdata.com

  sponsored

  Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  

• cargo-geiger

  11 1,246 0.0 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