Skip to main content

Jupyter kernel for the Michelson language

Project description

Michelson kernel

Docker Build Status made_with pytezos Binder

Jupyter kernel for the Michelson language



  • Custom interpreter with runtime type checker
  • Syntax highlighter
  • Autocomplete by Tab
  • Inplace docstrings by Shift+Tab
  • Macros support
  • Verbose execution logging
  • Debug helpers

How to install

Option 1: try online!

Powered by awesome Binder:

Option 2: run in docker

  1. Get the latest image from dockerhub (only when new releases are published)
docker pull bakingbad/michelson-kernel
  1. Create container using verified docker image:
docker run --rm -it -p -v $(pwd):/home/jupyter/notebooks bakingbad/michelson-kernel
  1. Open the link from container output in your browser
  2. Save notebooks in the mapped folder in order not to loose them

Option 3: install python package

  1. Ensure you have several crypto libraries installed (see pytezos docs):
sudo apt install libsodium-dev libsecp256k1-dev libgmp-dev
  1. Install the package using pip
pip install michelson-kernel
  1. Check that Jupyter is now supporting Michelson kernel
jupyter kernelspec list

Option 4: install from sources

  1. Ensure the following packages are installed: libssl-dev zlib1g-dev uuid-dev
  2. Get the sources, build and install
git clone
cd michelson-kernel
  1. Check that Jupyter is now supporting Michelson kernel
jupyter kernelspec list

How to uninstall

  1. Run the following command
jupyter kernelspec uninstall michelson -f
  1. Check that Jupyter is no longer supporting Michelson kernel
jupyter kernelspec list
  1. Uninstall Python package
pip uninstall michelson-kernel

How it works



  • This project is supported by Tezos Foundation
  • Michelson test set from the Tezos repo is used to ensure the interpreter workability
  • Michelson structured documentation by Nomadic Labs is used for inline help

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for michelson-kernel, version 0.1.5
Filename, size File type Python version Upload date Hashes
Filename, size michelson-kernel-0.1.5.tar.gz (11.3 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page