Accel

Twenty builds AI-enabled cyber warfare systems for the U.S. military and intelligence community

Builds formal verification tools ensuring AI reliability in law, drug discovery, and tax prep

Provides a data security and AI governance platform helping enterprises control what AI can see and do

Provides open source Postgres development platform for agentic infrastructure