Tlaplus-graph-explorer Alternatives
Similar projects and alternatives to tlaplus-graph-explorer based on common topics and language
-
coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
-
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
-
-
ppp calculator
Use this PPP Calculator or PPP Converter to compare your Purchasing Power Parity Salary or Standard of Living with another Country.
-
javascript-algorithms
📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings
-
Bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
tlaplus-graph-explorer reviews and mentions
-
TLA+ Graph Explorer
Hi,
> wonder whether there will be an update to map those children to the names of the actions taken in the spec
This can be done by, for example, adding a variable to the spec with the label of the transition, lets say a variable named label. Then in the tool you can parse the state string (variable value in function updateChilds, https://github.com/afonsonf/tlaplus-graph-explorer/blob/main...), and then use the label when creating the radio button.
The label can be obtained from the variable value in updateChilds with something like: label = parseVars(value).get("label").
> You write the visualizations in D3 I guess?
The visualization I think can be written with any javascript library, at least I tried to make it able to do so. In the second example I wrote the visualization with svg.js.
- TLA+ graph explorer
Stats
afonsonf/tlaplus-graph-explorer is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of tlaplus-graph-explorer is JavaScript.