Some months ago I saw an article about a website that runs Linux and gcc in your browser thanks to WebAssembly (Linux And C In The Browser | Hackaday). I found it quite interesting as a way of providing an interactive shell for tutorials, but unluckily gnat-gcc wasn’t installed and trying to install it just resulted in an error.
However, this week I found out a similar project called jslinux which allows installing and running gnat in the browser (at least using the alpine vm): https://bellard.org/jslinux/
It is quite slow, but I think it could have interesting use cases like interactive Ada courses without requiring the server to compile and run arbitrary untrusted software, testing alire packages before using them in a project or allowing newcomers to try Ada from ada-lang.io without installing anything.
I’m not sure how they implemented that tutorial, but I suppose it runs serverside. However, running it in the browser could be quite interesting, as it would allow deploying it as a static GitHub page
I’m afraid that if you try to install gnat on a Linux machine running in the browser, you might get the same error that you have when installing gnat-gcc on your machine
Installing gnat in my computer is not a problem. Both Linux images were virtual machines that run in the browser, being the first one (the one in which I got an error) optimized for running gcc