https://github.com/tlaplus/devkit
Documents and code artifacts teaching you how to build your own TLA⁺ tools.
https://github.com/tlaplus/devkit
Last synced: 4 months ago
JSON representation
Documents and code artifacts teaching you how to build your own TLA⁺ tools.
- Host: GitHub
- URL: https://github.com/tlaplus/devkit
- Owner: tlaplus
- License: mit
- Created: 2025-03-24T18:53:07.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-11-03T23:29:43.000Z (8 months ago)
- Last Synced: 2025-11-04T01:17:41.808Z (8 months ago)
- Language: Java
- Homepage: https://docs.tlapl.us/creating:start
- Size: 420 KB
- Stars: 2
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# tlaplus-creator
[](https://github.com/tlaplus/devkit/actions/workflows/ci.yml)
Documents and code artifacts teaching you how to build your own TLA⁺ tools.
Based on the free online textbook [*Crafting Interpreters*](https://craftinginterpreters.com/) by Robert Nystrom.
Check out the tutorial starting [here](https://docs.tlapl.us/creating:start)!
Each tutorial chapter has a corresponding mirror/backup/snapshot directory in this repository:
| Chapter | Wiki page | Directory |
|---------|-----------------------------------------------------------------------------------|--------------------------------|
| 1 | [Create your own TLA⁺ tools](https://docs.tlapl.us/creating:start) | [1-start](1-start) |
| 2 | [Scanning TLA⁺ Tokens](https://docs.tlapl.us/creating:scanning) | [2-scanning](2-scanning) |
| 3 | [Parsing Constant TLA⁺ Expressions](https://docs.tlapl.us/creating:expressions) | [3-expressions](3-expressions) |
| 4 | [Evaluating Constant TLA⁺ Expressions](https://docs.tlapl.us/creating:evaluation) | [4-evaluation](4-evaluation) |
| 5 | [Handling TLA⁺ Statements](https://docs.tlapl.us/creating:statements) | [5-statements](5-statements) |
| 6 | [Conjunction & Disjunction Lists](https://docs.tlapl.us/creating:jlists) | [6-jlists](6-jlists) |
| 7 | [Functions, Operators, and Parameters](https://docs.tlapl.us/creating:operators) | [7-operators](7-operators) |
| 8 | [Variables, State, and Actions](https://docs.tlapl.us/creating:actions) | [8-actions](8-actions) |
| 9 | [Model-Checking Safety Properties](https://docs.tlapl.us/creating:safety) | [9-safety](9-safety) |
| 10 | [Closures, Resolving, and Binding](https://docs.tlapl.us/creating:closures) | [10-closures](10-closures) |