-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitignore
More file actions
41 lines (37 loc) · 704 Bytes
/
Copy path.gitignore
File metadata and controls
41 lines (37 loc) · 704 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
# Python
__pycache__/
*.py[cod]
*$py.class
*.so
.Python
build/
dist/
*.egg-info/
.eggs/
.pytest_cache/
.mypy_cache/
.ruff_cache/
.tox/
.coverage
.coverage.*
htmlcov/
site/
.benchmarks/
.venv/
venv/
# IDE
.idea/
.vscode/
# OS
.DS_Store
# Tooling / agent local state
.claude/
.lean-ctx/
# Reference impls and test data are managed out-of-tree (see reference/README.md).
# They are excluded so this repo stays a pure Python implementation; re-fetch with
# scripts/fetch_references.sh.
# Top-level ``reference`` is either a directory (populated by
# ``scripts/fetch_references.sh``) or a symlink to a sibling tree.
# Match both — directories want trailing-slash, symlinks don't.
/reference
/reference/