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