np's Stars

Sort: Most downloads
Sort options

file-icons

Assign file extension icons and colours for improved visual grepping
file-icons
7,260,569

ide-haskell

Haskell IDE
atom-haskell
192,095

agda-mode

agda-mode on Atom
banacorn
7,462

language-agda

Agda language support for the Atom editor
banacorn
3,538