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

This page summarizes the projects mentioned and recommended in the original post on /r/rust

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. Vale

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

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. ponyc

    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.

  4. cargo-geiger

    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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Not well known programming languages with interesting features?

    7 projects | /r/ProgrammingLanguages | 20 Jun 2022
  • Achievement Unlocked: Rustc Segfault

    3 projects | news.ycombinator.com | 10 Apr 2022
  • How WhatsApp scaled to 1 billion users with only 50 engineers

    2 projects | /r/programming | 25 Oct 2021
  • Ideas for undergraduate CS thesis project in programming languages in concurrency?

    2 projects | /r/ProgrammingLanguages | 28 Apr 2021
  • Can We Get the Benefits of Transitive Dependencies Without Undermining Security?

    1 project | news.ycombinator.com | 28 Jan 2025

Did you know that Rust is
the 5th most popular programming language
based on number of references?