tlaplus-graph-explorer
30-seconds-of-code
| tlaplus-graph-explorer | 30-seconds-of-code | |
|---|---|---|
| 3 | 37 | |
| 194 | 119,143 | |
| - | 0.4% | |
| 3.0 | 9.8 | |
| 6 months ago | 7 days ago | |
| JavaScript | JavaScript | |
| MIT License | Creative Commons Attribution 4.0 |
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
30-seconds-of-code
- 30-seconds-of-code: Short code snippets for all your development needs
-
What are the best open source repos in github that a beginner should READ?
You could also check out: 1. 30 seconds of code 2. JavaScript30 3. JavaScript Algorithms
-
Awesome Github Repos to Master JAVASCRIPT
😎 a quick reference with short solutions for your development needs in javascript -> 30-seconds-of-code
- 18 useful GitHub repositories every developer should bookmark
- 🧑💻 Short JavaScript code snippets for all your development needs
- GitHub Repositories : Part 1
- Seconds of code – short JavaScript snippets for all your development needs
-
19 Practical ES6 Snippets to Solve Common JS Problems 🚀💯
All of the snippets were handpicked from 30 seconds of code. It's an awesome resource, I would highly recommend going to check it out for more stuff.
- 30 seconds of code: Short JavaScript code snippets for all your development needs
What are some alternatives?
coyote - Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
33-js-concepts - 📜 33 JavaScript concepts every developer should know.
React - The library for web and native user interfaces.
tech-interview-handbook - 💯 Curated coding interview preparation materials for busy software engineers
Ultraviolet - A highly sophisticated proxy used for evading internet censorship or accessing websites in a controlled sandbox using the power of service-workers. Works by intercepting HTTP requests with a service worker script that follows the TompHTTP specifications.
Awesome - :computer: 🎉 An awesome & curated list of best applications and tools for Windows.
clean-code-javascript - :bathtub: Clean Code concepts adapted for JavaScript
30-seconds-of-interviews - A curated collection of common interview questions to help you prepare for your next interview.
You-Dont-Know-JS - A book series on JavaScript. @YDKJS on twitter.
javascript-algorithms - 📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings
html5-boilerplate - A professional front-end template for building fast, robust, and adaptable web apps or sites.
30-seconds-of-python-code - Short Python code snippets for all your development needs