# Python
__pycache__/
*.py[cod]
*$py.class
*.so
.Python
.venv/
venv/
*.egg-info/
dist/
build/

# TLA+
*.tlacfg

# OS
.DS_Store
Thumbs.db

# Editors
.vscode/
.idea/
*.swp
