At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the 'on…

DNSimple was founded as a fully-remote company in 2010 with the goal of making DNS and domain management simple for everyone. We offer a customer-friendly user interface, a simple-to-use API, and operate critical infrastructure for our customers to …