wollok-kernel 1.5

Wollok kernel for Jupyter

Wollok Kernel for Jupyter notebook

wollok_kernel is a Jupyter kernel implementation, started from a wrapper kernel.

💻 Installation

Pre-requisites

You need to install Python (3.7 or newer). If you don't have Python, the recommended option is installing it using the official site, and click on Download Python X.X.X (there a different options depending on your operating system).

python --version

If python3 --version works, you should use an alias or replace python with python3.

Install Conda environment manager. Follow the instructions for your operating system.

Install Node & npm tools.

Wollok Kernel

Clone this repository:

git clone https://github.com/uqbar-project/wollok-jupyter-kernel # you can also use git@... option

Install Wollok Jupyter Kernel:

cd ./wollok-jupyter-kernel
conda init
./install_kernel.sh

At the end of the script you should see an output similar to the following:

Available kernels:
  python3    /path/to/venv/lib/python3.13/site-packages/ipykernel/resources
  wollok     /path/to/wollok-jupyter-kernel/venv/share/jupyter/kernels/wollok

If you need you can uninstall the kernel by running

./uninstall_kernel.sh

VSCode

Install Jupyter extension in VSCode:

• Open Extension Tab (⇧⌘X or Ctrl+Shift+X)
• Look for "Jupyter"
• Install Microsoft official extension

Then you can create a New File... > Jupyter Notebook

And select kernel: click on the right side, on Select Kernel option > Jupyter Kernel > Wollok:

Make sure you don't select Python Environment because this will expect a Python kernel, not a Wollok kernel.

👩‍💻 Contribution

• If you want to collaborate, follow the developer instructions. There's also a main architecture explanation
• You can also join the Discord channel!
• Additional info is available at the wiki

🦄 Using Wollok kernel

• Notebook: The New menu in the notebook should show an option for a Wollok notebook.
• Console frontends: To use it with the console frontends, add --kernel wollok to their command line arguments.

Powered by Uqbar