GitHub repository: zehaochen19/checkoj
Primary language: Haskell
Description: An online judge taking advantages of QuickCheck test generating