gentoo.mahdi.cz
dev-python
:kernels-mixer
Jupyter server extension that allows mixing local and remote kernels together
https://github.com/GoogleCloudPlatform/jupyter-extensions/tree/master/kernels-mixer
kernels-mixer-0.0.10
Apache-2.0
download
~amd64 ~x86
pypi