afonsonf/tlaplus-graph-explorer - GitHub Explorer | GitHub Explorer | Trending

Stars

197

Forks

2

Watchers

197

Open Issues

0

Repository Health Score

🧡

50/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

Improve readme

Afonso Fernandes•2 years ago

72f2619View on GitHub

Copy new parser lib to src and examples.

Afonso Fernandes•4 years ago

ee5436dView on GitHub

Parser fix: empty strings.

Afonso Fernandes•4 years ago

6c4d8c6View on GitHub

Fix parser.

Afonso Fernandes•4 years ago

e3606c1View on GitHub

Fix margin in css.

Afonso Fernandes•4 years ago

1748f7cView on GitHub

Change traces file name.

Afonso Fernandes•4 years ago

b21b607View on GitHub

Add trace explorer.

Afonso Fernandes•4 years ago

5255fbfView on GitHub

New examples.

Afonso Fernandes•4 years ago

7b07c78View on GitHub

Fix parseVars.

Afonso Fernandes•4 years ago

f0326c1View on GitHub

Add button to reload dot file.

Afonso Fernandes•4 years ago

6234f0fView on GitHub

Update example

Afonso Fernandes•4 years ago

04ef1d1View on GitHub

Code refactoring, change callback to async await.

Afonso Fernandes•4 years ago

becc9fbView on GitHub

Add better support for different screen sizes

Afonso Fernandes•4 years ago

0d67249View on GitHub

Remove library not used

Afonso Fernandes•5 years ago

2d69704View on GitHub

Fix:

Afonso Fernandes•5 years ago

672e07dView on GitHub

View all commits

GitHub Explorer

tlaplus-graph-explorer

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues