GitHub repository: robrix/surface
Primary language: Haskell
Description: Dependently-typed language w/ little to say for itself