RavSS / HAVK Ada 29 3 An attempt at a minimalistic and secure operating system. ada osdev operating-system kernel
mgrojo / alr2appimage Ada 13 1 Tool for building a Linux package from an Alire crate alire appimage packaging ada