flowistry
aquascope
| flowistry | aquascope | |
|---|---|---|
| 15 | 6 | |
| 1,822 | 1,776 | |
| - | 3.1% | |
| 7.3 | 6.4 | |
| 3 months ago | about 1 month ago | |
| Rust | Rust | |
| MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
flowistry
- An IDE plugin for Rust that helps you focus on relevant code
- Flowistry: an IDE plugin that analyzes the information flow of Rust programs, showing whether it's possible for one piece of code to affect another
-
Any data flow visualization tools?
https://github.com/willcrichton/flowistry https://github.com/cognitive-engineering-lab/aquascope
-
When do Rust's traits make your life difficult?
Hello Rustaceans, the same lab that has brought you The Rust Book Experiment, Aquascope, and Flowistry is starting a new endeavor. We want to understand when Rust's trait system makes it hard for you to understand or debug a Rust program.
-
rustc-plugin: A framework for writing plugins that integrate with the Rust compiler
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.
-
[blog] Rust should own its debugger experience
Maybe this vscode extension could be useful to you?
-
Plugins/extensions for the Rust Analyzer?..
Maybe you would be interested in flowistry?
- flowistry plugin?
-
Learn You an Agda (2014)
Quick, easy formal verification tools that programmers can use on the spot from the IDE are hard to make for most languages because most languages and their compilers weren't made with such thing in mind.
I guess Rust might be heading somewhere interesting with tooling, with tools like Flowistry existing (https://github.com/willcrichton/flowistry) showing what is possible. It's a plugin that can compute backwards / forwards static slices for you, straight in the IDE as a VSCode plugin. I think you need an external program that runs a full program analysis to do the same in C++.
-
Visual lifetime indicator
Based on how Flowistry works I think this should be possible.
aquascope
-
Any data flow visualization tools?
https://github.com/willcrichton/flowistry https://github.com/cognitive-engineering-lab/aquascope
-
When do Rust's traits make your life difficult?
Hello Rustaceans, the same lab that has brought you The Rust Book Experiment, Aquascope, and Flowistry is starting a new endeavor. We want to understand when Rust's trait system makes it hard for you to understand or debug a Rust program.
-
rustc-plugin: A framework for writing plugins that integrate with the Rust compiler
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.
- GitHub - cognitive-engineering-lab/aquascope: Interactive visualizations of Rust at compile-time and run-time
- Aquascope: Interactive visualizations of Rust at compile-time and run-time
What are some alternatives?
rustviz - Interactively Visualizing Ownership and Borrowing for Rust
bevy - A refreshingly simple data-driven game engine built in Rust
code2flow - Pretty good call graphs for dynamic languages
dylint - Run Rust lints from dynamic libraries
Sourcetrail - Sourcetrail - free and open-source interactive source explorer
rust-foundation-community-grant
wslgit - Use Git installed in Bash on Windows/Windows Subsystem for Linux (WSL) from Windows and Visual Studio Code (VSCode)
rfcs - RFCs for changes to Rust
dbgee - The zero-configuration debuggee for debuggers. Handy utility that allows you to launch CLI debuggers and VSCode debuggers from the debuggee side.
rustc_plugin - A framework for writing plugins that integrate with the Rust compiler
shisho - Lightweight static analyzer for several programming languages
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.