Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertyth…

Welcome to Hellebore. A different kind of software company. Our mission is to engineer high-quality, innovative, and maintainable software solutions that build value for our Department of Defense and commercial clients. Hellebore was engineered to d…