Libadalang-based code checking infrastructure - View it on GitHub