I'm not part of the Ada world, so I don't actually know, but I thought the important Ada compiler(s) were also proprietary.