Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

We're a venture-funded, seed-stage company building the next generation of decentralized exchanges in the DeFi crypto space. If you've thought about working at the cutting edge of crypto technology, now's your chance! As one of the first employees, …

We are a profitable small company focused on better, easier, online privacy. We make two products. Blur is a password manager foundation with privacy aliasing/tokenization built-in from the ground up to help people mask/control their PII credentials…