tlaplus-graph-explorer
ppp calculator
tlaplus-graph-explorer | ppp calculator | |
---|---|---|
3 | - | |
194 | - | |
- | - | |
3.0 | - | |
6 months ago | - | |
JavaScript | JavaScript | |
MIT License | - |
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.
tlaplus-graph-explorer
-
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
ppp calculator
We haven't tracked posts mentioning ppp calculator yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
coyote - Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
javascript - JavaScript Style Guide
React - The library for web and native user interfaces.
utilities - Tree-shakeable JavaScript utilities, add yours today! ๐งโ๐ป
30-seconds-of-code - Short code snippets for all your development needs
eva-title - ๐งใ็ฆ้ณๆๅฃซๆ ้ข็ๆๅจใ Evangelion Title Card Generator
scripts - Phoenicis scripts
bitsy-hacks - a collection of re-usable scripts for bitsy game maker
bootstrap - The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web. [Moved to: https://github.com/twbs/bootstrap]
linked-list - A no-loop immutable functional linked list implementation.