| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| scripts/ | - | 2026-May-22 18:10 | |
| peg_extension/ | - | 2026-May-22 18:10 | |
| pegen/ | - | 2026-May-22 18:10 | |
| data/ | - | 2026-May-22 18:10 | |
| Makefile | 3.1 KiB | 2026-May-22 18:10 | |
| requirements.pip | 38 B | 2026-May-22 18:10 | |
| pyproject.toml | 182 B | 2026-May-22 18:10 | |
| mypy.ini | 522 B | 2026-May-22 18:10 | |