dev: add docker developer container for easier installation and usage#305

Merged

gliga merged 24 commits intomainfrom

grigorik/docker-devcontainer

Dec 24, 2025

Commits on Nov 1, 2025

docker: add dev-container Dockerfile and scripts
IvanGrigorik
committed

Commits on Nov 2, 2025

dev-container: finalaize container structure and user prompts
IvanGrigorik
committed

Commits on Nov 3, 2025

docker: change port exposure in order to correctly ssh straight into container
IvanGrigorik
committed

Commits on Nov 12, 2025

Commits on Dec 19, 2025

Commits on Dec 22, 2025

add pykokkos installation after base install
IvanGrigorik
committed