GitHub - brakmic/BosqueDev-Jupyter: A JupyterLab Environment with Bosque Support

BosqueDev-Jupyter

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

Features

• Complete Jupyter Lab 4.x environment
• Integrated Bosque language support:
  • Jupyter kernel for code execution
  • Syntax highlighting extension
• Pre-installed development tools:
  • Node.js 22.x
  • Git & Git LFS
  • nano editor with syntax highlighting
  • TypeScript support
  • pnpm package manager

Screenshots

Syntax Highlighting based on Lezer Grammar

Code Compilation and Execution

Bosque File Support

Text Editor Syntax Highlighting

Usage

Run the pre-built image:

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

Or build from Dockerfile:

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
• Bosque Language Blog
• Bosque Language Page (Unofficial)

Papers

• Toward Programming Languages for Reasoning – Humans, Symbolic Systems, and AI Agents
• Regularized Programming with the Bosque Language
• A Programming Language for Data and Configuration

License

MIT