https://github.com/brakmic/bosquedev-jupyter

A JupyterLab Environment with Bosque Support
https://github.com/brakmic/bosquedev-jupyter

bosque bosque-lang bosquelanguage jupyter jupyterlab

Last synced: 8 days ago
JSON representation

A JupyterLab Environment with Bosque Support

• Host: GitHub
• URL: https://github.com/brakmic/bosquedev-jupyter
• Owner: brakmic
• License: mit
• Created: 2025-01-16T20:46:40.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-01-17T07:50:46.000Z (over 1 year ago)
• Last Synced: 2026-05-02T12:06:33.029Z (about 1 month ago)
• Topics: bosque, bosque-lang, bosquelanguage, jupyter, jupyterlab
• Language: Dockerfile
• Homepage: https://blog.brakmic.com/using-bosque-in-jupyterlab/
• Size: 337 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# BosqueDev-Jupyter

A Jupyter Lab 4.x environment with integrated Bosque programming language support.

![jupyterlab_main_window](./assets/jupyterlab_main_window.png)

## Features

- Complete Jupyter Lab 4.x environment

- Integrated Bosque language support:

  - [Jupyter kernel for code execution](https://github.com/brakmic/jupyterlab_bosque_kernel)

  - [Syntax highlighting extension](https://github.com/brakmic/jupyterlab-bosque-syntax)

- Pre-installed development tools:

  - Node.js 22.x

  - Git & Git LFS

  - nano editor with syntax highlighting

  - TypeScript support

  - pnpm package manager

## Screenshots

![syntax_colorization](./assets/syntax_colorization.png)

*Syntax Highlighting* based on [Lezer Grammar](https://lezer.codemirror.net/)

![language_option_menu](./assets/bosque_compilation.png)

*Code Compilation and Execution*

![bosque_file_support](./assets/bosque_file_support.png)

*Bosque File Support*

![text_editor_highlighting](./assets/tex_editor_syntax_highlighting.png)

*Text Editor Syntax Highlighting*

## Usage

Run the pre-built image:

```bash

docker run -p 8888:8888 brakmic/bosquedev-jupyter

```

Or build from Dockerfile:

```bash

docker build -t bosquedev-jupyter -f Dockerfile .

docker run -p 8888:8888 bosquedev-jupyter

```

## Components

- Base Images:

  - brakmic/bosquedev:latest (Stage 1)

  - quay.io/jupyter/base-notebook:latest (Stage 2)

- Extensions:

  - Bosque Jupyter Kernel

  - Bosque Syntax Highlighting

## Learn More About Bosque

### Resources

- [Bosque Language Project](https://github.com/BosqueLanguage/)

- [Bosque Language Blog](https://bosquelanguage.github.io/)

- [Bosque Language Page (Unofficial)](https://bosque-lang.org)

### Papers

- [Toward Programming Languages for Reasoning –

Humans, Symbolic Systems, and AI Agents](https://www.arxiv.org/pdf/2407.06356)

- [Regularized Programming with the Bosque Language](https://www.microsoft.com/en-us/research/uploads/prod/2019/04/beyond_structured_report_v2.pdf)

- [A Programming Language for Data and Configuration](https://github.com/BosqueLanguage/BSQON/blob/main/docs/publications/bsqon_techreport.pdf)

# License

[MIT](./LICENSE)