| Name | Size | Perms | Modified | Actions |
|---|---|---|---|---|
| 📁__pycache__ | - | drwxr-xr-x | 2026-01-31 11:30 | Rename Delete |
| 📄__init__.py | 0 B | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |
| 📄colors.py | 2.78 KB | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |
| 📄full11.py | 74.62 KB | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |
| 📄pattern.py | 1.04 KB | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |
| 📄svgparser.py | 4.92 KB | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |
| 📄tiny12.py | 57.49 KB | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |
| 📄typechecker.py | 11.66 KB | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |
| 📄types.py | 2.74 KB | -rw-r--r-- | 2026-01-20 13:01 | View Rename Delete |