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

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

PlantUML sprites, macros, and other includes for AWS components.

Vim plugin for Graphviz

Python interface to Graphviz's Dot language

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

Git — the big picture

Generate class diagrams from scala source code

Let's Graphviz it Online

Visualize your multi-stage Dockerfiles

Docker compose graph visualization

Graphviz fiddling website

A hack to put Graphviz on the web.

Install Graphviz on Heroku

Visualize call graph of a Go program using Graphviz

python version of lsof to graphviz parser

RBAC in Kubernetes visualizer

PlantUML sprites, macros, and other includes for Azure services

Documentation Generator for PHP

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

Go-ERD (Entity Relationship Diagrams) for Golang with Graphviz [WIP]

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

This extension provides GraphViz (dot) language support for VS Code.

💠 DOT Language Live Editor (GraphViz)

A command line tool: from a Podfile.lock to an image.

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

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery

Visualize your Go data structures using graphviz

A CLI tool to visualize GraphQL schemas and to output a graph data structure as a graphviz .dot format

Create simple drawings of neural networks using graphviz

Graphviz module for state machines

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

Visualize column-level data lineage in Spark SQL

Analyze Data with Pandas-based Networks. Documentation:

Creating network diagrams with Graphviz

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

A python implementation of the CART algorithm for decision trees

C call graph generator

Graphviz dot file processor powered by plugins based on @unifiedjs

HPCC-Systems Web-Assembly (JavaScript)

j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' ABI *and types*, *without glue*

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

Wrapper code (or any text source) generator for MySQL databases and queries

Kubernetes diagrams using VS Code

Fast in-memory graph structure, powering Gephi

Read-only mirror of the Klever Git repository

A multi-language tool which parses source code for function definitions and calls

DepVis (Java 9 Jigsaw Dependency Visualizer)

Stanford CoreNLP in idiomatic Clojure.

🎨 Diagram as Code for prototyping cloud system architectures

Java based GraphViz HTTP Server

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

Wiki macro for redmine. The macro render graph-image from wiki contents as dot.

处理有向图的有力工具

Create UML diagrams from Protobuf compiled .proto files using Python

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

A visual Haskell