owickstrom / tlaplus-cli-templateLinks
CLI-driven TLA+ project template
☆43Updated 6 years ago
Alternatives and similar repositories for tlaplus-cli-template
Users that are interested in tlaplus-cli-template are comparing it to the libraries listed below
Sorting:
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Stroll: an experimental build system