Home

Stapeln

Visual container stack designer for verified containers -- "Containers for People Who Hate Containers".

Quick Start

See the main README for installation and usage.

deno task dev       # Dev server
deno task build     # Production build
deno task test      # Run tests

Key Concepts

• Accessible by design -- The product goal is that a 12-year-old who is reasonably IT-capable can help their parents build a secure container stack. No prior container knowledge required; security guidance is clear, visual, and actionable.
• Verified container supply chain -- Integrates with Chainguard base images, Svalinn edge gateway, and cerro-torre .ctp bundles for cryptographic provenance attestations. Real Zig FFI for validation (not stubs).
• ReScript TEA + Elixir backend -- 8 UI views using The Elm Architecture in ReScript with Tailwind CSS. Phoenix REST + GraphQL backend. Export to JSON and compose files with real container images.

Architecture

Frontend is ReScript + TEA (WCAG 2.3 AAA compliant). Backend is Elixir/Phoenix with a Zig FFI shared library for validation. Idris2 ABI for formal proofs (in progress). Deno for runtime.

See docs/ for architecture details.

Related Projects

• VeriSimDB -- Cross-modal database (integration planned)
• Gossamer -- Desktop app shell
• AmbientOps -- Operations framework
• PanLL -- Human-Things Interface

Contributing

See CONTRIBUTING.md.

License

PMPL-1.0-or-later