Check this might help. Community created space to access free open source tooling it will still have adacore toolings

https://ada-lang.io/