flowistry
dora
| flowistry | dora | |
|---|---|---|
| 15 | 2 | |
| 1,822 | 1,018 | |
| - | 63.4% | |
| 7.3 | 9.7 | |
| 3 months ago | 2 days ago | |
| Rust | Rust | |
| MIT License | Apache License 2.0 |
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.
dora
- Dora: Low latency, composable, and distributed dataflow for AI and robotic
-
dora-rs: experimental ROS2 alternative up to 17x faster for Python API, making it more accessible for beginners
Find more on Github: https://github.com/dora-rs/dora Our documentation website: https://dora.carsmos.ai/
What are some alternatives?
rustviz - Interactively Visualizing Ownership and Borrowing for Rust
openrr - Open Rust Robotics
code2flow - Pretty good call graphs for dynamic languages
rust_zmqRemoteApi - Rust ZeroMQ remote API for coppeliasim
Sourcetrail - Sourcetrail - free and open-source interactive source explorer
lightflus - A Lightweight, Cloud-Native Stateful Distributed Dataflow Engine
wslgit - Use Git installed in Bash on Windows/Windows Subsystem for Linux (WSL) from Windows and Visual Studio Code (VSCode)
rerun - Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.
dbgee - The zero-configuration debuggee for debuggers. Handy utility that allows you to launch CLI debuggers and VSCode debuggers from the debuggee side.
zenoh - zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.
shisho - Lightweight static analyzer for several programming languages
ros2_rust - Rust bindings for ROS 2