Is there something like "super-safe" rust?

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

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • kani

    Kani Rust Verifier

    kani (e.g. used by hifitime)

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • no-panic

    Discontinued Attribute macro to require that the compiler prove a function can't ever panic

    /u/dtolnay has a no-panic macro, I don't know its limitations but in older comments they note it pretty much has to be used in release mode, as there are lots of panic codepaths which get optimised out.

  • rustig

    A tool to detect code paths leading to Rust's panic handler

    There is also rustig though it seems quite dead.

  • hifitime

    A high fidelity time management library in Rust

    kani (e.g. used by hifitime)

  • prusti-dev

    A static verifier for Rust, based on the Viper verification infrastructure.

    prusti

  • MIRAI

    Rust mid-level IR Abstract Interpreter

    MIRAI

  • findpanics

    Find calls to panic functions in rust executables

    findpanics is also unmaintained, but a couple of years younger.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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

  • Things I hate about Rust, redux

    7 projects | /r/rust | 10 Mar 2022
  • rustc-plugin: A framework for writing plugins that integrate with the Rust compiler

    6 projects | /r/rust | 18 Apr 2023
  • Prop v0.42 released! Don't panic! The answer is... support for dependent types :)

    5 projects | /r/rust | 18 Jan 2023
  • Anything C can do Rust can do Better

    58 projects | dev.to | 1 Dec 2022
  • What's everyone working on this week (45/2022)?

    9 projects | /r/rust | 7 Nov 2022

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