GitHub repository: purescript/purescript-globals
Primary language: PureScript
Description: Typed definitions for standard Javascript globals