| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 23 |  .. |
| -rw-r--r-- | 441 |  .clang-format |
| -rw-r--r-- | 46 | .gitignore |
| -rw-r--r-- | 3201 | Makefile |
| drwxr-xr-x | 5 | data |
| -rw-r--r-- | 513 | mypy.ini |
| drwxr-xr-x | 4 | peg_extension |
| drwxr-xr-x | 20 | pegen |
| -rw-r--r-- | 182 | pyproject.toml |
| -rw-r--r-- | 38 | requirements.pip |
| drwxr-xr-x | 11 | scripts |