https://github.com/can1357/pluscal-help
A beautiful, dark-mode cheat sheet for PlusCal.
https://github.com/can1357/pluscal-help
astro cheatsheet documentation formal-methods pluscal tla tlaplus
Last synced: 8 months ago
JSON representation
A beautiful, dark-mode cheat sheet for PlusCal.
- Host: GitHub
- URL: https://github.com/can1357/pluscal-help
- Owner: can1357
- Created: 2025-10-02T22:52:44.000Z (8 months ago)
- Default Branch: master
- Last Pushed: 2025-10-02T23:23:46.000Z (8 months ago)
- Last Synced: 2025-10-03T01:11:10.091Z (8 months ago)
- Topics: astro, cheatsheet, documentation, formal-methods, pluscal, tla, tlaplus
- Language: Astro
- Homepage: https://pluscal.help/
- Size: 45.9 KB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# PlusCal Cheat Sheet
[**pluscal.help**](https://pluscal.help)
A single-page reference for the PlusCal algorithm language (C-Syntax v1.8).
- Use as a quick reference for PlusCal syntax and constructs while writing
specifications,
- Discover PlusCal features and patterns you might not be familiar with,
- Learn PlusCal if you already know TLA+ or have formal methods experience.
## Development
```bash
# Install dependencies
npm install
# Start development server
npm run dev
```
The dev server will be available at `http://localhost:4321`
## Adding Content
Edit `src/content/pluscal-help.md` to update the documentation content. The
markdown supports:
- Standard markdown syntax
- Code blocks with syntax highlighting
- Tables (automatically styled)
- Headings (automatically added to TOC)
## Contributing
Contributions are very welcome! Please feel free to:
- Submit bug fixes or improvements via Pull Request
- File issues for errors or suggestions
- Propose new examples or clarifications
## Credits
- **Leslie Lamport** - for creating TLA+ and PlusCal, and the excellent
[PlusCal User's Manual](https://lamport.azurewebsites.net/tla/p-manual.pdf)
- [cheats.rs](https://cheats.rs) - for design inspiration
- Contributors who have improved this resource
Content is based on _A PlusCal User's Manual: C-Syntax Version 1.8_ by Leslie
Lamport.