Uncovered Intermediate Topics

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

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
  • tarpaulin

    A code coverage tool for Rust projects

    tarpaulin works on stable rust. https://crates.io/crates/cargo-llvm-cov currently makes use of nightly's -Z instrument-coverage (which tarpaulin will also utilize when it is stable).

  • perf-book

    The Rust Performance Book (by nnethercote)

    Have you read https://nnethercote.github.io/perf-book/introduction.html? If it's missing something, worth opening an issue on its repo.

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • mutagen

    Breaking your Rust code for fun and profit (by llogiq)

    Would be great if this could include mutation testing.

  • wasmer

    🚀 The leading WebAssembly Runtime supporting WASI and Emscripten

    One topic where I've seen a few blog posts but no good solutions is implementing a plugin mechanism. It would be interesting to see a compare/contrast of communicating over a socket vs using something wasm based like wasmer.

  • chumsky

    A parser library for humans with powerful error recovery.

    I just stumbled on a crate called chumsky. It's also a parser combinator, which seems to have good docs and has some fancy error messages in the readme. But I haven't used it yet.

  • aho-corasick

    A fast implementation of Aho-Corasick in Rust.

    I recently had an interesting exchange with Rust guru u/burntsushi about this on GitHub. He made an interesting point that I am still digesting about how the Rust community has its own de facto standard. My interpretation is, a significant chunk of the Rust community uses SemVer but with only two numbers instead of three by never achieving a 1.0 version. My personal view is that this is undesirable because it is strictly less descriptive. But whatever my preferences, it is a brute fact that a large number of crates haven't reached v1.0.

  • prusti-dev

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

    An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • creusot

    deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

    An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.

  • unsafe-code-guidelines

    Home for the Unsafe Code Guidelines working group.

    An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.

  • miri

    An interpreter for Rust's mid-level intermediate representation

    An introduction to formal verification in Rust! The whole field is probably is probably too big to cover fully, but an introduction should fit in a single lecture :) Topics that come to mind are Prusti, Cruseot, RustBelt, RustHorn, Stacked Borrows, Miri. These also lend themselves to do follow up topics on.

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