Sourcegraph makes code search universal so developers can work on solving problems.

We partnered for their Series A in 2015.