abitofhelp / dev_container_ada Sponsor Star 1 Code Issues Pull requests ⛔️ DEPRECATED — moved to abitofhelp/dev_containers docker kubernetes zsh ubuntu ada gnat containerd podman gprbuild alire nerdctl development-container Updated Apr 7, 2026 Shell
bearddan2000 / ada-cli-hello-world Star 0 Code Issues Pull requests This is a POC project to demonstrate ada. cli hello world ada gprbuild Updated Sep 2, 2023 Shell
moaladelads / dev_container_ada Star 0 Code Issues Pull requests Provide a ready-to-use GNAT Ada development container supporting desktop and embedded ARM platforms with Alire and GPRBuild tools. docker kubernetes zsh ubuntu ada gnat containerd podman gprbuild alire nerdctl development-container Updated Apr 13, 2026 Shell