https://github.com/hengxin/tlaplus-compiler-in-antlr4
A Compiler for TLA+ in ANTLR4
https://github.com/hengxin/tlaplus-compiler-in-antlr4
Last synced: 7 months ago
JSON representation
A Compiler for TLA+ in ANTLR4
- Host: GitHub
- URL: https://github.com/hengxin/tlaplus-compiler-in-antlr4
- Owner: hengxin
- License: mit
- Created: 2021-12-27T09:14:06.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2022-05-15T14:40:50.000Z (over 3 years ago)
- Last Synced: 2025-01-07T19:45:01.109Z (9 months ago)
- Language: Java
- Size: 924 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0