Search Results for "call graph visualization"

...It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines.

Grafana OSS is the leading open-source platform for visualization and observability. It enables teams to query, visualize, alert on, and explore telemetry data from multiple sources in a single interface. With support for 100+ data source plugins—including Prometheus, Loki, Elasticsearch, InfluxDB, SQL/NoSQL databases, and OpenTelemetry—Grafana helps teams correlate metrics, logs, and traces across applications and infrastructure. Users can build interactive dashboards with rich...

...Behind the scenes, seaborn uses matplotlib to draw its plots. For interactive work, it’s recommended to use a Jupyter/IPython interface in matplotlib mode, or else you’ll have to call matplotlib.pyplot.show() when you want to see the plot.

Graphical user interface for gnuplot to create publication quality figure very quickly. It supports templates for fast formatting of graphics, different plot styles, insets, axis and label options. One important feature is storing metadata in png and pdf files that can be used to reload any graph saved with QuickPlot.

Small python script that can visualize Inter Process Communication on Linux. It can create a graph of TCP and Unix sockets, pipes and also process hierarchy. Short (59 sec) demo visualizing ssh client connecting to ssh server on the same Ubuntu host: http://youtu.be/8XFKwzkexQY Longer (2 min 13 sec) demo visualizing ZoneMinder surveillance solution operation (stopping, starting, enabling and viewing camera): http://youtu.be/kM7klE61Ibk Tested on Ubuntu 14.10 and Debian...

booggie brings object-oriented graph grammars into engineering - Based on the application of object-oriented graph grammars, engineering knowledge is formalized and becomes computable in order to solve design tasks.

Python library for a fast and flexible graph data structure.

C++ and Python based open source graph visualization and analysis software, primarily intended for use in the analysis of social networks (other applications are also conceivable).

A Java software for 3D visualization of graphs/networks. It implements many graph layout algorithms (such as force-directed methods), graph generators (such as scale-free networks) and graph modifiers. Most functions can be accessed through its GUI.

Network Visualization is a mature part of computer science that is enjoying a good deal of growth, partially fueled by Bioinformatics. Network is a synonym for Graph, and both refer to a collection of nodes and edges.