C2Rust Demonstration

GitHub - est31/cargo-udeps: Find unused dependencies in Cargo.toml

Find unused dependencies in cargo toml contribute to est31 cargo udeps development by creating an account on git hub

About RustSec › RustSec Advisory Database

Security advisory database for rust crates published through https crates io

GitHub - RazrFalcon/cargo-bloat: Find out what takes most of the space in your executable.

Find out what takes most of the space in your executable git hub razr falcon cargo bloat find out what takes most of the space in your executable

cargo-deny - cargo-deny

GitHub - dtolnay/cargo-expand: Subcommand to show result of macro expansion

Subcommand to show result of macro expansion contribute to dtolnay cargo expand development by creating an account on git hub

GitHub - mre/cargo-inspect: Pssst!... see what Rust is doing behind the curtains 🕵🤫

Pssst see what rust is doing behind the curtains git hub mre cargo inspect pssst see what rust is doing behind the curtains

GitHub - drahnr/cargo-spellcheck: Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar

Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar git hub drahnr cargo spellcheck checks all your documentation for spelling

Clippy lints documentation

Write Rust lints without forking Clippy

Write rust lints without forking clippy

Electrolysis Reference

GitHub - mcarton/rust-herbie-lint: A rustc plugin to check for numerical instability

A rustc plugin to check for numerical instability contribute to mcarton rust herbie lint development by creating an account on git hub

GitHub - AtomLinter/linter-rust: Linting your Rust-files in Atom, using rustc and cargo.

Linting your rust files in atom using rustc and cargo git hub atom linter linter rust linting your rust files in atom using rustc and cargo

GitHub - facebookexperimental/MIRAI: Rust mid-level IR Abstract Interpreter

Rust mid level ir abstract interpreter contribute to facebookexperimental mirai development by creating an account on git hub

GitHub - teenjuna/prae: This crate provides a convenient macro that allows you to generate type wrappers that promise to always uphold arbitrary invariants that you specified.

This crate provides a convenient macro that allows you to generate type wrappers that promise to always uphold arbitrary invariants that you specified git hub teenjuna prae this crate provides

Prusti

GitHub - sslab-gatech/Rudra: Rust Memory Safety & Undefined Behavior Detection

Rust memory safety undefined behavior detection contribute to sslab gatech rudra development by creating an account on git hub

GitHub - rust-lang/rls: Repository for the Rust Language Server (aka RLS)

Repository for the rust language server aka rls contribute to rust lang rls development by creating an account on git hub

rust-analyzer

Rust analyzer building a better rust ide

GitHub - Shnatsel/rust-audit: Make production Rust binaries auditable

Make production rust binaries auditable contribute to shnatsel rust audit development by creating an account on git hub

GitHub - rust-lang/rustfix: Automatically apply the suggestions made by rustc

Automatically apply the suggestions made by rustc contribute to rust lang rustfix development by creating an account on git hub

GitHub - rust-lang/rustfmt: Format Rust code

Format rust code contribute to rust lang rustfmt development by creating an account on git hub

GitHub - rustviz/rustviz: Interactively Visualizing Ownership and Borrowing for Rust

Interactively visualizing ownership and borrowing for rust git hub rustviz rustviz interactively visualizing ownership and borrowing for rust

GitHub - est31/warnalyzer: Show unused code from multi-crate Rust projects

Show unused code from multi crate rust projects contribute to est31 warnalyzer development by creating an account on git hub