Sourcegraph is 100% focused on code search and bringing it to every dev and company, and are hiring across the globe. Sourcegraph enables you to find and fix things across all your code. Companies of all shapes and sizes use Sourcegraph every day to…

At a high level, Sagetap is a tool/marketplace for helping our clients (other tech companies building software, largely in the devops, cybersecurity, and infra spaces) determine if the thing they're building, and the way they're pitching it, is actu…

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)...

CoinTracker is a portfolio assistant for cryptocurrency. Over 3% of the global cryptocurrency market cap is tracked on CoinTracker. Seamlessly track your crypto portfolio, investment performance, taxes, and more. Traction: over $50 billion of crypto…

Datadog is a monitoring, tracing, logs system, and more, for your infrastructure and services. We build our own tsdb, event store, distributed tracing tools, cutting edge visualizations, and more. We love shipping great experiences for customers jus…

Annual emissions from U.S. fleet-operated fossil-fuel cars and trucks contribute ~1Gt CO2e, or 2% of the world's total GHG emissions. We can save lives and abate climate change by replacing these vehicles with clean equivalents. Our team writes soft…