Convex: Building Reactive TypeScript Backends with Queries, Mutations, and Actions
Convex combines typed backend functions, a transactional document database, and reactive query subscriptions; correctness depends on separating deterministic mutations from side-effecting actions.