nwolverson/purescript-ide-purescript-core
Deprecated, to be deleted
Error/Warning reporting frontend for the PureScript compiler
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
Atom API bindings for PureScript
Easy Unicode input for Atom
Public repository.