GitHub repository: EnJiBe/dai-lab-protocoldesign
Description: Learn to write a specification of an application-layer protocol and to implement it.