| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 23 |  .. |
| -rw-r--r-- | 163 |  .editorconfig |
| -rw-r--r-- | 16559 | README.md |
| -rw-r--r-- | 255 | Setup.local.example |
| -rw-r--r-- | 2956 | config.site-wasm32-emscripten |
| -rw-r--r-- | 1209 | config.site-wasm32-wasi |
| -rw-r--r-- | 10163 | python.html |
| -rw-r--r-- | 1980 | python.worker.js |
| -rwxr-xr-x | 1931 | wasi-env |
| -rwxr-xr-x | 7849 | wasm_assets.py |
| -rwxr-xr-x | 28013 | wasm_build.py |
| -rwxr-xr-x | 1146 | wasm_webserver.py |