GitHub repository: ImpregnableProgrammer/choreography-ts-RK-work
Primary language: TypeScript
Description: Choreographic Programming in TypeScript - Summer 2023 work by Rohan Kapur