Must move types by Niko Matsakis

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

Our great sponsors
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • SonarQube - Static code analysis for 29 languages.
  • Mergify - Updating dependencies is time-consuming.
  • austral

    Systems language with linear types and capability-based security.

    https://austral-lang.org has linear types and doesn’t use RAII but it doesn’t have defer.

  • objgraph

    For more context, this is an Rc-like object that avoids atomic operations by requiring a reference to a !Sync "Root" object for operations that'd otherwise need to be atomic. An earlier prototype with some benchmarks and additional explanation is here: https://github.com/sporksmith/objgraph/. I never got around to publishing to crates.io, but if there's interest I could update this implementation (from the one I folded into the larger shadow project) and publish it.

  • InfluxDB

    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.

  • kani

    Kani Rust Verifier

    Doing this legwork for unsafe code is 100% required, and the compiler isn't of much help here (but there are external tools that check unsafe code like kani).

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