https://github.com/bringhurst/tlaplus
https://github.com/bringhurst/tlaplus
Last synced: 12 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/bringhurst/tlaplus
- Owner: bringhurst
- Created: 2014-06-02T16:06:50.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2014-06-02T16:10:09.000Z (about 12 years ago)
- Last Synced: 2025-05-15T07:42:34.519Z (about 1 year ago)
- Language: Java
- Size: 31.8 MB
- Stars: 27
- Watchers: 3
- Forks: 5
- Open Issues: 0