GitHub repository: DaneTheory/plop
Description: Consistency Made Simple