nwolverson/purescript-ide-purescript-core
Deprecated, to be deleted
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Deprecated, to be deleted
Error/Warning reporting frontend for the PureScript compiler
Atom API bindings for PureScript
Easy Unicode input for Atom