| Name | Size | Permissions | Actions |
|---|---|---|---|
| 📁 data | -- | drwxr-xr-x | |
| 📁 peg_extension | -- | drwxr-xr-x | |
| 📁 pegen | -- | drwxr-xr-x | |
| 📁 scripts | -- | drwxr-xr-x | |
| 📄 .clang-format | 0.431K | -rw-r--r-- | |
| 📄 .gitignore | 0.045K | -rw-r--r-- | |
| 📄 Makefile | 3.069K | -rw-r--r-- | |
| 📄 README.md | 0.395K | -rw-r--r-- | |
| 📄 mypy.ini.sorry | 2.792K | -rw-r--r-- | |
| 📄 pyproject.toml | 0.178K | -rw-r--r-- | |
| 📄 requirements.pip | 0.037K | -rw-r--r-- |