TypeScript
Python
Node
React
Jun 2020
A code generator that generates session type APIs in TypeScript for Node and React, guaranteeing protocol conformance by construction.