Add eudsl-python-extras packages to Wasm playgrounds (#266)

This is a follow-up PR of #264.

We try to add eudsl-python-extras packages to these two Wasm
playgrounds. Currently the released packages of eudsl-python-extras are
sdist which is not quite compatible to `pyodide.loadPackage` and
`piplite`, so we first pack it as a wheel package via `pip wheel`, and
then pack these wheel packages into the playgrounds.

In JupyterLite, we can install the package via:
```python
import piplite
await piplite.install("eudsl-python-extras")
```

Preview changes at:
- https://llvm.github.io/eudsl/jupyter/ 
- https://llvm.github.io/eudsl/console/

Author: PragmaTwice

.github/workflows/deploy_pip_page.yml

@@ -46,22 +46,25 @@ jobs:
           sed -i.bak 's/\/llvm\/eudsl/https:\/\/github.com\/llvm\/eudsl/g' index.html
           mkdir -p page && mv index.html page
 
+      - name: Setup Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+
       - name: Fetch latest WASM wheel
         run: |
           pip download mlir-python-bindings --plat pyodide_2024_0_wasm32 --no-deps --python-version 3.12 -f https://llvm.github.io/eudsl
           echo "MLIR_PYTHON_WHEEL_NAME=$(ls mlir_python_bindings*)" >> $GITHUB_ENV
+          pip wheel eudsl-python-extras -f https://llvm.github.io/eudsl --no-deps -w .
+          echo "EUDSL_PYTHON_EXTRAS_WHEEL_NAME=$(ls eudsl_python_extras*)" >> $GITHUB_ENV
 
       - name: Create WASM console page
         run: |
           mkdir -p page/console
 
           cp pages/console/index.html page/console/index.html
           cp $MLIR_PYTHON_WHEEL_NAME page/console/mlir_python_bindings-0.0.1-cp312-cp312-pyodide_2024_0_wasm32.whl
-
-      - name: Setup Python
-        uses: actions/setup-python@v5
-        with:
-          python-version: '3.12'
+          cp $EUDSL_PYTHON_EXTRAS_WHEEL_NAME page/console/eudsl_python_extras-0.0.1-py3-none-any.whl
 
       - name: Create WASM jupyterlite page
         run: |
@@ -71,7 +74,8 @@ jobs:
           jupyter lite build \
             --contents pages/jupyter/contents \
             --output-dir page/jupyter \
-            --piplite-wheels $MLIR_PYTHON_WHEEL_NAME
+            --piplite-wheels $MLIR_PYTHON_WHEEL_NAME \
+            --piplite-wheels $EUDSL_PYTHON_EXTRAS_WHEEL_NAME
 
       - name: Show directory structure
         run: |

README.md

@@ -33,11 +33,11 @@ Currently, there are five components:
 
 ## Wasm Playground
 
-We currently provide two online playgrounds where you can try out the WebAssembly version of the MLIR Python bindings directly in your browser:
+We currently provide two online playgrounds where you can try out the WebAssembly version of mlir-python-bindings and eudsl-python-extras directly in your browser:
 
 * https://llvm.github.io/eudsl/jupyter/ – A JupyterLite instance with a Pyodide kernel. You can install the MLIR Python bindings with: `await piplite.install("mlir-python-bindings")`.
 
-* https://llvm.github.io/eudsl/console/ – A Pyodide-based REPL with `mlir-python-bindings` preloaded. Just run: `from mlir.ir import *` to start coding.
+* https://llvm.github.io/eudsl/console/ – A Pyodide-based REPL with `mlir-python-bindings` and `eudsl-python-extras` preloaded. Just run: `from mlir.ir import *` to start coding.
 
 ## Getting started
 

pages/console/index.html

@@ -108,8 +108,10 @@
           },
         });
 
-        // load mlir-python-bindings wheel package
+        // load additional wheel package
+        await pyodide.loadPackage("numpy");
         await pyodide.loadPackage("mlir_python_bindings-0.0.1-cp312-cp312-pyodide_2024_0_wasm32.whl");
+        await pyodide.loadPackage("eudsl_python_extras-0.0.1-py3-none-any.whl");
 
         let { repr_shorten, BANNER, PyodideConsole } =
           pyodide.pyimport("pyodide.console");