167 Open source projects that are alternatives of or similar to tlaplus_specs

transforming your .proto files into .dot files (and .svg, .png if you happen to have graphviz installed)

presentations as code - author cool slide decks, text-only, offline-ready, collaborative

A command line tool to create a graph representing your Ansible playbook tasks and roles

Visualize Leiningen dependencies using Graphviz

A visualization tool to show a TensorFlow's graph like TensorBoard

A mix task for generating Entity Relationship Diagram from Ecto schemas available in your project.

PHP Graphviz library

Visualizing Docker data

a featured FSM that can export state images

Draw heatmap simply using a tidy data frame

Graphviz DOT rendering and animated transitions using D3

Experimental Smart Contracts In Plutus.

3D force-directed graph component in VR

Go module for scraping APIs to graphs

Interactive visualizations of Terraform dependency graphs using d3.js

C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures

Create graphs of Erlang systems and programs

Making graphs for yEd

AWS architecture the easy way

A Swift package for working with GraphViz

Asciidoctor.js extension to convert diagrams to images using Kroki!

No description or website provided.

Dot (Graphviz) package for Atom

Go bindings for Graphviz

A set of utilities for working with Graphviz in Powershell

Create UML diagrams from Protobuf compiled .proto files using Python

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Vim plugin for Graphviz

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

Generate class diagrams from scala source code

Visualize your multi-stage Dockerfiles

Graphviz fiddling website

Install Graphviz on Heroku

python version of lsof to graphviz parser

PlantUML sprites, macros, and other includes for Azure services

A number of small tools for generating and manipulating diagrams, mostly based around Graphviz

A static web application to explore and animate a TLA+ state graph.

💠 DOT Language Live Editor (GraphViz)

Transform code into a flowchart and experimentally trace the execution path through it

Visualize your Go data structures using graphviz

Create simple drawings of neural networks using graphviz

Knife plugin for Chef to draw dependency graphs for roles. Cut through the spaghetti with a knife.

Analyze Data with Pandas-based Networks. Documentation:

JavaScript app for displaying annotated network graphs based on data from LittleSis

C call graph generator

HPCC-Systems Web-Assembly (JavaScript)

Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Perl / PHP / Python / Ruby

Kubernetes diagrams using VS Code

Read-only mirror of the Klever Git repository

DepVis (Java 9 Jigsaw Dependency Visualizer)

🎨 Diagram as Code for prototyping cloud system architectures

This module provides D3js compatible library to parse and load files in graphviz DOT (.dot) (graph description language) format.

处理有向图的有力工具

Ubpa Entity-Component-System (U ECS) in Unity3D-style

Collection of builtin GNU TeXmacs plugins

command line tool for managing personal graphs of anything and writing them to dot

Graphing all possibilities in the Netflix Black Mirror episode, "Bandersnatch"

TLA+ tools for Emacs

Graphviz to ASCII converter using Graph::Easy