Skip to content

ARCHITECTURE.md

Latest commit

 

History

History
37 lines (29 loc) · 1.52 KB

ARCHITECTURE.md

File metadata and controls

37 lines (29 loc) · 1.52 KB
Raw

Project Architecture

🚧 UNDER CONSTRUCTION

Image Design

Note

Images are built using GitHub Actions and deployed to the Github Container Registry, ghcr.io, under the username, jhwohlgemuth

The following images are available:

  • ghcr.io/jhwohlgemuth/terminal: Core image with all necessary system dependencies (intended for terminal-only development)
  • ghcr.io/jhwohlgemuth/notebook: Images with Jupyter notebook server, code-server and Verdaccio proxy npm registry 1 services managed by s6-overlay
  • ghcr.io/jhwohlgemuth/gold: The primary purpose of this repository.
    • All the features of notebook
    • Rust and WebAssembly (WASM) development environment
    • Proof assistants
    • Provers
    • Other tools for software correctness

The images are build according to the following dependency graph:

graph LR
    terminal --> notebook
    notebook --> gold
Loading

Related Environments

Goldsmith, formerly Gold's agentic image, is maintained as a separate product. Its initial release consumes a pinned Notebook image as a documented base-image dependency while keeping its versioning, runtime services, and release lifecycle independent from Gold.

Footnotes

[1]

Default Verdaccio proxy npm registry port is 4873 (documentation)