{"id":24362211,"url":"https://github.com/brakmic/bosquedev-jupyter","last_synced_at":"2026-06-04T19:31:18.940Z","repository":{"id":272829042,"uuid":"917889689","full_name":"brakmic/BosqueDev-Jupyter","owner":"brakmic","description":"A JupyterLab Environment with Bosque Support","archived":false,"fork":false,"pushed_at":"2025-01-17T07:50:46.000Z","size":345,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2026-05-02T12:06:33.029Z","etag":null,"topics":["bosque","bosque-lang","bosquelanguage","jupyter","jupyterlab"],"latest_commit_sha":null,"homepage":"https://blog.brakmic.com/using-bosque-in-jupyterlab/","language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/brakmic.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2025-01-16T20:46:40.000Z","updated_at":"2025-07-10T20:02:56.000Z","dependencies_parsed_at":"2025-01-16T21:44:41.351Z","dependency_job_id":"187d626f-5d75-4373-94aa-09d7f44db6a0","html_url":"https://github.com/brakmic/BosqueDev-Jupyter","commit_stats":null,"previous_names":["brakmic/bosquedev-jupyter"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/brakmic/BosqueDev-Jupyter","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brakmic%2FBosqueDev-Jupyter","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brakmic%2FBosqueDev-Jupyter/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brakmic%2FBosqueDev-Jupyter/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brakmic%2FBosqueDev-Jupyter/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/brakmic","download_url":"https://codeload.github.com/brakmic/BosqueDev-Jupyter/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brakmic%2FBosqueDev-Jupyter/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33917183,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-04T02:00:06.755Z","response_time":64,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["bosque","bosque-lang","bosquelanguage","jupyter","jupyterlab"],"created_at":"2025-01-18T22:50:42.201Z","updated_at":"2026-06-04T19:31:18.904Z","avatar_url":"https://github.com/brakmic.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# BosqueDev-Jupyter\n\nA Jupyter Lab 4.x environment with integrated Bosque programming language support.\n\n![jupyterlab_main_window](./assets/jupyterlab_main_window.png)\n\n## Features\n\n- Complete Jupyter Lab 4.x environment\n- Integrated Bosque language support:\n  - [Jupyter kernel for code execution](https://github.com/brakmic/jupyterlab_bosque_kernel)\n  - [Syntax highlighting extension](https://github.com/brakmic/jupyterlab-bosque-syntax)\n- Pre-installed development tools:\n  - Node.js 22.x\n  - Git \u0026 Git LFS\n  - nano editor with syntax highlighting\n  - TypeScript support\n  - pnpm package manager\n\n## Screenshots\n\n![syntax_colorization](./assets/syntax_colorization.png)\n\n*Syntax Highlighting* based on [Lezer Grammar](https://lezer.codemirror.net/)\n\n![language_option_menu](./assets/bosque_compilation.png)\n\n*Code Compilation and Execution*\n\n![bosque_file_support](./assets/bosque_file_support.png)\n\n*Bosque File Support*\n\n![text_editor_highlighting](./assets/tex_editor_syntax_highlighting.png)\n\n*Text Editor Syntax Highlighting*\n\n## Usage\n\nRun the pre-built image:\n\n```bash\ndocker run -p 8888:8888 brakmic/bosquedev-jupyter\n```\n\nOr build from Dockerfile:\n\n```bash\ndocker build -t bosquedev-jupyter -f Dockerfile .\ndocker run -p 8888:8888 bosquedev-jupyter\n```\n\n## Components\n\n- Base Images:\n  - brakmic/bosquedev:latest (Stage 1)\n  - quay.io/jupyter/base-notebook:latest (Stage 2)\n- Extensions:\n  - Bosque Jupyter Kernel\n  - Bosque Syntax Highlighting\n\n## Learn More About Bosque\n\n### Resources\n\n- [Bosque Language Project](https://github.com/BosqueLanguage/)\n- [Bosque Language Blog](https://bosquelanguage.github.io/)\n- [Bosque Language Page (Unofficial)](https://bosque-lang.org)\n\n### Papers\n\n- [Toward Programming Languages for Reasoning –\nHumans, Symbolic Systems, and AI Agents](https://www.arxiv.org/pdf/2407.06356)\n- [Regularized Programming with the Bosque Language](https://www.microsoft.com/en-us/research/uploads/prod/2019/04/beyond_structured_report_v2.pdf)\n- [A Programming Language for Data and Configuration](https://github.com/BosqueLanguage/BSQON/blob/main/docs/publications/bsqon_techreport.pdf)\n\n# License\n\n[MIT](./LICENSE)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbrakmic%2Fbosquedev-jupyter","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbrakmic%2Fbosquedev-jupyter","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbrakmic%2Fbosquedev-jupyter/lists"}