Pinned Repositories
.github
Alire
Alire crate builders
ArchLinux
Package builders for ArchLinux
ASDL2
SDL2 for Ada
Debian
Debian package builders
GPRx3
Demonstration of tricks with GPR
Homebrew
Package builders for Homebrew
Linux-Mint
Prolog
Simple Ada Prolog library
the-MIA.github.io
MIA - Maintainance Initiative for Ada's Repositories
the-MIA/Prolog
Simple Ada Prolog library
the-MIA/ASDL2
SDL2 for Ada
the-MIA/.github
the-MIA/Alire
Alire crate builders
the-MIA/ArchLinux
Package builders for ArchLinux
the-MIA/Debian
Debian package builders
the-MIA/GPRx3
Demonstration of tricks with GPR
the-MIA/Homebrew
Package builders for Homebrew
the-MIA/Linux-Mint
the-MIA/the-MIA.github.io
the-MIA/mia-index
Alire index of MIA libraries
the-MIA/Styles
Coding Styles
the-MIA/Ubuntu
the-MIA/yass
Yet Another Static Site (Generator)