GitHub repository: karbyshev/typhon
Primary language: TLA
Description: Formalization of Typhon protocol