willcrichton / flowistryLinks
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
☆2,889Updated last month
Alternatives and similar repositories for flowistry
Users that are interested in flowistry are comparing it to the libraries listed below
Sorting:
- Kani Rust Verifier☆2,712Updated last week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,799Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,584Updated last week
- A snapshot testing library for rust☆2,613Updated this week
- a debugger for async rust!☆4,262Updated last week
- 🔥 Time Travel Visual Debugger for Rust☆1,652Updated 6 months ago
- Write expressive, high-performance parsers with ease.☆4,276Updated last week
- Zero-copy deserialization framework for Rust☆3,569Updated last month
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,688Updated 3 weeks ago
- A next-generation test runner for Rust.☆2,634Updated last week
- Fancy extension for std::Error with pretty, detailed diagnostic printing.☆2,341Updated last month
- Concurrency permutation testing tool for Rust.☆2,496Updated 2 months ago
- Analysis of various tricky Rust code☆1,966Updated 2 months ago
- Magical Rust patterns laid out and simplified☆1,821Updated 2 months ago
- A fancy diagnostics & error reporting crate☆2,053Updated 4 months ago
- Create ridiculously fast Lexers☆3,298Updated 3 weeks ago
- 📦 shippable application packaging☆1,832Updated last week
- Command-line sampling profiler for macOS, Linux, and Windows☆3,510Updated this week
- Hypothesis-like property testing for Rust☆1,952Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,574Updated this week
- Scan your Rust crate for semver violations.☆1,508Updated this week
- A free book about developing secure and robust systems software.☆1,374Updated 3 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,540Updated last week
- Graph data structure library for Rust.☆3,589Updated last month
- Statistics-driven benchmarking library for Rust☆5,298Updated 2 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,967Updated 2 months ago
- Learn Macros In Rust☆1,182Updated last year
- A datetime library for Rust that encourages you to jump into the pit of success.☆2,435Updated last week
- A fast bump allocation arena for Rust☆1,930Updated last week
- A Rust port of FlameGraph☆1,948Updated last week