Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .editorconfig | 163 | logstatsplain |
-rw-r--r-- | README.md | 15894 | logstatsplain |
-rw-r--r-- | Setup.local.example | 240 | logstatsplain |
-rwxr-xr-x | build_wasi.sh | 1320 | logstatsplain |
-rw-r--r-- | config.site-wasm32-emscripten | 2868 | logstatsplain |
-rw-r--r-- | config.site-wasm32-wasi | 1127 | logstatsplain |
-rw-r--r-- | mypy.ini | 226 | logstatsplain |
-rw-r--r-- | python.html | 10163 | logstatsplain |
-rw-r--r-- | python.worker.js | 1980 | logstatsplain |
-rwxr-xr-x | wasi-env | 1931 | logstatsplain |
-rw-r--r-- | wasi.py | 12825 | logstatsplain |
-rwxr-xr-x | wasm_assets.py | 7541 | logstatsplain |
-rwxr-xr-x | wasm_build.py | 28626 | logstatsplain |
-rwxr-xr-x | wasm_webserver.py | 1200 | logstatsplain |