Alternatives and similar repositories for listings-rust

Users that are interested in listings-rust are comparing it to the libraries listed below

• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆486Updated 3 weeks ago
• jix / varisat
  SAT solver written in Rust
  ☆275Updated 3 years ago
• japaric / cargo-call-stack
  Whole program static stack analysis
  ☆646Updated last year
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆561Updated 3 years ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆317Updated last week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆321Updated this week
• onur / cargo-license
  Cargo subcommand to see license of dependencies
  ☆493Updated 4 months ago
• roogle-rs / roogle
  A Rust API search engine
  ☆426Updated last year
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆459Updated this week
• drahnr / cargo-spellcheck
  Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar
  ☆356Updated 3 months ago
• rust-lang / libm
  A port of MUSL's libm to Rust.
  ☆634Updated 7 months ago
• rust-lang / cargo-bisect-rustc
  Bisects rustc, either nightlies or CI artifacts
  ☆195Updated last week
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆457Updated 2 weeks ago
• nvzqz / static-assertions
  Ensure correct assumptions about constants, types, and more in Rust
  ☆639Updated 2 years ago
• rust-lang / unsafe-code-guidelines
  Forum for discussion about what unsafe code can and can't do
  ☆723Updated 3 months ago
• mersinvald / aquamarine
  Inline diagrams for rustdoc with mermaid.js
  ☆541Updated last year
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆492Updated last year
• rust-num / num-bigint
  Big integer types for Rust
  ☆584Updated 7 months ago
• japaric / rust-san
  How-to: Sanitize your Rust code!
  ☆433Updated 7 years ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆640Updated last year
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆902Updated 2 weeks ago
• rust-lang / fls
  The FLS
  ☆470Updated this week
• dtolnay / trybuild
  Test harness for ui tests of compiler diagnostics
  ☆941Updated this week
• cargo-public-api / cargo-public-api
  List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…
  ☆514Updated 2 weeks ago
• taiki-e / cargo-hack
  Cargo subcommand to provide various options useful for testing and continuous integration.
  ☆781Updated this week
• mcarton / rust-derivative
  A set of alternative `derive` attributes for Rust
  ☆459Updated 2 months ago
• webern / cargo-readme
  Generate README.md from docstrings
  ☆380Updated 5 months ago
• meithecatte / fake-static
  rustc hates him! Sidestep borrow checking with this weird trick.
  ☆103Updated 2 years ago
• paholg / typenum
  Compile time numbers in Rust.
  ☆568Updated last month
• rust-lang / rust-semverver
  Automatic checking for semantic versioning in library crates
  ☆632Updated 2 years ago