Alternatives and similar repositories for listings-rust:

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

• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆371Updated last month
• jix / varisat
  SAT solver written in Rust
  ☆256Updated 2 years ago
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆751Updated this week
• dtolnay / no-panic
  Attribute macro to require that the compiler prove a function can't ever panic
  ☆1,050Updated 3 weeks ago
• taiki-e / cargo-hack
  Cargo subcommand to provide various options useful for testing and continuous integration.
  ☆663Updated this week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆294Updated 3 months ago
• drahnr / cargo-spellcheck
  Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar
  ☆333Updated 2 months ago
• rust-num / num-traits
  Numeric traits for generic mathematics in Rust
  ☆757Updated 5 months ago
• 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…
  ☆428Updated this week
• regexident / cargo-modules
  Visualize/analyze a Rust crate's internal structure
  ☆1,024Updated this week
• foresterre / cargo-msrv
  🦀 Find the minimum supported Rust version (MSRV) for your project
  ☆954Updated this week
• mersinvald / aquamarine
  Inline diagrams for rustdoc with mermaid.js
  ☆509Updated 3 months ago
• meithecatte / fake-static
  rustc hates him! Sidestep borrow checking with this weird trick.
  ☆99Updated last year
• dtolnay / indoc
  Indented document literals for Rust
  ☆677Updated 2 months ago
• nvzqz / static-assertions
  Ensure correct assumptions about constants, types, and more in Rust
  ☆594Updated last year
• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆418Updated 2 weeks ago
• rust-lang / rustc-perf
  Website for graphing performance of rustc
  ☆646Updated this week
• rust-lang / libm
  A port of MUSL's libm to Rust.
  ☆557Updated this week
• dtolnay / trybuild
  Test harness for ui tests of compiler diagnostics
  ☆838Updated last month
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆540Updated 2 years ago
• paholg / typenum
  Compile time numbers in Rust.
  ☆521Updated 7 months ago
• onur / cargo-license
  Cargo subcommand to see license of dependencies
  ☆431Updated last month
• dtolnay / paste
  Macros for all your token pasting needs
  ☆1,037Updated 3 months ago
• roogle-rs / roogle
  A Rust API search engine
  ☆404Updated 5 months ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆600Updated 5 months ago
• rodrimati1992 / const_format_crates
  Compile-time string formatting
  ☆224Updated last month
• dtolnay / linkme
  Safe cross-platform linker shenanigans
  ☆677Updated 2 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆676Updated this week
• japaric / rust-san
  How-to: Sanitize your Rust code!
  ☆428Updated 6 years ago