git/tla_visualiser
1
0
Fork 0
mirror of https://github.com/johndoe6345789/tla_visualiser.git synced 2026-04-24 21:55:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
3 Commits 2 Branches 0 Tags
f554d40b64c2b0371682f9497a7e49831156e17a
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

tla_visualiser

Make a TLA+ Visualisation tool that can grab TLA specs from a github URL - C++/QT6/libcurl/QML/Conan/Ninja/QEmu Github Workflow.

Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme MIT 111 KiB
Languages
C++ 47.5%
QML 30%
Shell 15.6%
Batchfile 3.8%
CMake 3.1%