GitHub repository: sinelaw/infernu
Primary language: Haskell
Description: Type inference and checking for a safer JavaScript.