GitHub repository: mirmirz/CS5232-ProjectChubby
Primary language: TLA
Description: CS5232 project - Chubby Lock Service for Distributed system