# Portfolio

| Company | Description | Founded | Invested |
| --- | --- | --- | --- |
| Aneta | AI automation for scientific workflows | 2023 | 2023 |
| Augment Code | AI agents that understand your entire codebase | 2022 | 2022 |
| Cedana | VMware for GPUs | 2023 | 2023 |
| Datalab | Document infrastructure for workflow automation | 2024 | 2024 |
| Dylibso | WebAssembly infrastructure and developer tools for plugin systems | 2022 | 2022 |
| Ona | AI-native software engineering platform | 2017 | 2022 |
| KREA | AI-first tools for professional creators | 2022 | 2023 |
| General Employee | AI-powered assistants for SMBs | — | 2022 |
| Northflank | PaaS for deploying and scaling modern applications | 2019 | 2022 |
| OpenMind | Operating system and coordination layer for intelligent robots | 2024 | 2024 |
| Orchid | Whole-genome sequencing for IVF embryos | 2020 | 2022 |
| Oxen | End-to-end infrastructure for fine-tuning and inference | 2022 | 2023 |
| Resonate | Distributed Async Await for cloud apps | — | 2023 |
| Spectral Labs | Spatial intelligence for engineering physical systems | 2022 | 2024 |
| Storyteller | AI-powered voice synthesis for video creators | 2022 | 2023 |
| Tau Robotics | Building toward general-purpose humanoid robots | 2024 | 2024 |
| Vidoc Security | Securing AI Generated Code | 2021 | 2024 |
| Wired Labs | Exploring new forms of personal identity on the web | 2024 | 2024 |
| Zeromatter | Simulation infrastructure for real-world autonomous systems | 2021 | 2024 |
| Adaptive Computer | End-to-end app creation for non-developers | 2025 | 2025 |
| Anomaly Bio | Turning microbes into micro-factories to rebuild ingredient supply chains | 2022 | 2025 |
| Build | AI for commercial real estate reports | 2025 | 2025 |
| Headquarters Health | AI-enabled proactive concussion care via telehealth | 2024 | 2025 |
| Kepler | Deterministic infrastructure for trustworthy AI | 2025 | 2025 |
| Lemurian Labs | Universal compiler and runtime for AI | 2018 | 2025 |
| Logical Intelligence | Energy-based AI models for formal verification | 2025 | 2025 |
| Orbit Technologies | Non-invasive vestibular modulation | 2023 | 2024 |
| Principia Labs | AI for mathematical discovery | 2025 | 2025 |
| Science Corporation | Biohybrid brain-computer interfaces | 2021 | 2026 |
| Ulysses | Dual-use autonomous underwater vehicles | 2023 | 2025 |
| Cognee | Memory infrastructure for AI agents | 2024 | 2025 |
| Markov Robotics | Zero-shot dexterous manipulation | 2025 | 2026 |