Company🇺🇸 United States
Thinking Machines Lab37 people
Thinking Machines Lab develops tools and models that make advanced AI systems more customizable and capable. Its work includes Tinker, an API for training and fine-tuning models, and Inkling, an open-weight model designed for efficient experimentation.
Company🇺🇸 United States
Cursor10 people
AI developer-tools company behind Cursor, the AI-native code editor built around codebase-aware chat, autocomplete, and agentic programming workflows. Legally Anysphere; now goes by Cursor.
Company🇺🇸 Mountain View
Windsurf5 people
AI developer-tools company behind the Windsurf agentic IDE and the Codeium coding assistant, focused on AI-assisted software engineering.
Company🇺🇸 United States
Morph Labs2 people
San Francisco AI company founded in 2023 by Jesse Han, building infrastructure for AI software engineering and formal mathematics — including Infinibranch and Liquid Metal ("Git for compute") — toward what it calls "verified superintelligence."
Company🇺🇸 Austin
Anaconda1 person
Developer platform and software distribution for building and operating data-science and AI systems. It maintains conda, a widely used package and environment manager, and provides governed access to open-source packages for enterprise teams.
Company🇺🇸 United States
Augment Code1 person
AI coding startup building context-aware developer tools for large software teams and complex codebases.
Company🇺🇸 San Francisco
Block1 person
Block (formerly Square) is a San Francisco-based financial technology company founded in 2009 by Jack Dorsey and Jim McKelvey, offering payment processing, Bitcoin services, and developer tools.
Company🇺🇸 San Francisco
Bronco AI1 person
Builds specialized agents for semiconductor design verification, helping engineering teams analyze simulation logs and waveforms, find hardware bugs and improve functional coverage before chips enter production.
Company🇺🇸 United States
Corridor1 person
AI security startup building tools for software vulnerability discovery, bug-bounty triage, and product-security workflows.
Company🇨🇭 Switzerland
Exoscale1 person
Swiss cloud infrastructure provider offering compute, storage, networking, and managed services.
Company🇺🇸 United States
Figma1 person
Collaborative product-design platform behind Figma Design, FigJam, Slides, and tools for prototyping, developer handoff, and team workflows.
Company🇫🇷 France
ILOG1 person
Software company that developed business-rule, optimization, visualization, and supply-chain tools, including ILOG Solver, before its acquisition by IBM.
Company
INT211 person
Builds self-improving systems for AI software infrastructure. Its PTX Kernel Factory uses agent swarms to generate, test, and optimize GPU kernels at the PTX level.
Company🇺🇸 San Francisco
Resolve AI1 person
Resolve AI builds agents that investigate incidents, debug production systems, and automate operational engineering work using context from code, infrastructure, telemetry, and internal documentation.
Company🇺🇸 United States
Revelo1 person
Revelo provides expert evaluation, code-training environments, and other data infrastructure for AI code generation, alongside a network for hiring Latin American software engineers.
Non-profit🇺🇸 United States
The Linux Foundation1 person
Open-source consortium that supports shared technology projects, industry standards, developer communities, and research into the economic value of open digital infrastructure.
Company
Vercel1 person
Provides cloud infrastructure and developer tooling for web applications and AI systems. It maintains the Next.js framework and offers deployment, model access, agent infrastructure and the open-source AI SDK.
Company🇫🇷 Paris
ZML1 person
AI infrastructure company building a production inference stack that runs models across multiple hardware targets from a single codebase.
Company🇨🇦 Ottawa
Shopify0 people
Commerce technology company providing tools for businesses to sell online, in stores, and across other channels.