| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 26 |  .. |
| -rw------- | 163 |  .editorconfig |
| -rw------- | 16560 | README.md |
| -rw------- | 259 | Setup.local.example |
| -rw------- | 2868 | config.site-wasm32-emscripten |
| -rw------- | 1127 | config.site-wasm32-wasi |
| -rw------- | 10163 | python.html |
| -rw------- | 1980 | python.worker.js |
| -rwx------ | 1931 | wasi-env |
| -rwx------ | 7639 | wasm_assets.py |
| -rwx------ | 28148 | wasm_build.py |
| -rwx------ | 1146 | wasm_webserver.py |