GitHub repository: shockkolate/polar4
Primary language: Haskell
Description: Polar Engine 4