https://github.com/pythoninthegrass/jupyterlab_devbox

Scaffold a Mojo project using JupyerLab and Devbox.
https://github.com/pythoninthegrass/jupyterlab_devbox

devbox jupyter jupyterlab mojo python

Last synced: 27 days ago
JSON representation

Scaffold a Mojo project using JupyerLab and Devbox.

• Host: GitHub
• URL: https://github.com/pythoninthegrass/jupyterlab_devbox
• Owner: pythoninthegrass
• Created: 2024-07-16T06:22:07.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2024-07-16T20:33:16.000Z (4 months ago)
• Last Synced: 2024-09-28T23:21:42.912Z (about 1 month ago)
• Topics: devbox, jupyter, jupyterlab, mojo, python
• Language: Jupyter Notebook
• Homepage:
• Size: 10.7 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# jupyterlab_devbox

Scaffold a Mojo project using JupyerLab and Devbox.

# Minimum Requirements

* macOS 12+

* [devbox](https://www.jetify.com/devbox/docs/quickstart/)

* [python3.12+](https://www.python.org/downloads/)

* [mojo](https://docs.modular.com/mojo/manual/get-started/)

## Recommended Requirements

* [asdf](https://asdf-vm.com/#/core-manage-asdf-vm)

## Quickstart

Install Python 3.12+ then run the bootstrap script to install the `devbox`, `modular`, and `mojo`.

**Note**: Python 3.11 doesn't appear to cooperate with `mojo` _within_ `devbox`. For consistency, it's recommended to use Python 3.12+.

```bash

# install dependencies (devbox, modular, and mojo)

./bootstrap

```

After the bootstrap script completes, you can start the `devbox` and run `jupyter lab`.

The default token is `devbox`. You can change the token by setting the `JUPYTER_TOKEN` environment variable.

```bash

# build the devbox

devbox install

# start the devbox

devbox shell

# start jupyterlab

devbox run start

# open a browser to default jupyterlab url

open http://localhost:8888

# stop juptyerlab

devbox run stop

# exit the devbox

exit

```

## TODO

* Figure out `stdin` w/`jupyter lab`