rustc-plugin: A framework for writing plugins that integrate with the Rust compiler

• rustc_plugin

  1 128 7.6 Rust

  A framework for writing plugins that integrate with the Rust compiler

  

• flowistry

  15 1,815 7.3 Rust

  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

I'm personally excited about building developer tools with a sophisticated understanding of your Rust programs. So I've worked on tools like Flowistry and Aquascope.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• aquascope

  6 1,717 6.7 Rust

  Interactive visualizations of Rust at compile-time and run-time

  

I'm personally excited about building developer tools with a sophisticated understanding of your Rust programs. So I've worked on tools like Flowistry and Aquascope.

• prusti-dev

  23 1,466 8.5 Rust

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

  

But there's also a lot of exciting work around formal verification like Prusti.

• Clippy

  120 10,755 10.0 Rust

  A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

  

Yes, you could use it to write a lint. Although you might find it easier to just fork Clippy and add your own lints to their existing framework.

• dylint

  7 337 9.7 Rust

  Run Rust lints from dynamic libraries

  

There is also https://github.com/trailofbits/dylint for writing custom lints.

Suggest a related project