• Packages
  • Themes
  • Documentation
  • Blog
  • Discussions
Sign in

np's Stars

Sort: Most downloads
Sort options
Most downloads Least downloads Most stars Newest Oldest Recently updated Least recently updated

file-icons

Assign file extension icons and colours for improved visual grepping
file-icons
9,723,290
5765

ide-haskell

Haskell IDE
  • #ide-haskell
  • #ide
  • #haskell
atom-haskell
258,634
146

agda-mode

agda-mode on Atom
banacorn
11,551
7

language-agda

Agda language support for the Atom editor
banacorn
8,198
6
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by