TLA+ Toolbox
IDE for TLA+
Mac · v1.7.4 · lamport.azurewebsites.net
About TLA+ Toolbox
IDE for TLA+.
More developer tools for Mac
Claude Code
Terminal-based AI coding assistant
Developer Tools
Codex
OpenAI's coding agent that runs in your terminal
Developer Tools
Google Cloud CLI
Set of tools to manage resources and applications hosted on Google Cloud
Developer Tools
Docker Desktop
App to build and share containerised applications and microservices
Developer Tools
Microsoft Visual Studio Code
Open-source code editor
Developer Tools
Android SDK Platform-Tools
Android SDK component
Developer Tools
1Password CLI
Command-line interface for 1Password
Developer Tools
Ghostty
Terminal emulator that uses platform-native UI and GPU acceleration
Developer Tools
Git Credential Manager
Cross-platform Git credential storage for multiple hosting providers
Developer Tools