GitHub repository: zcai1/universe
Primary language: Java
Description: Generic Universe Type System