# Python
__pycache__/
*.py[cod]
*.egg-info/
*.egg
dist/
build/
.eggs/

# Virtual environments
.venv/
venv/

# Lean
**/.lake/
**/lake-packages/
*.olean
*.ilean
*.trace

# IDE
.vscode/
.idea/
*.swp
*.swo

# System
.DS_Store
._*

# Temporary
*.tmp
*.log
*~
.#*

# Caches
.ruff_cache/
.pytest_cache/
