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

mindbound's Stars

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

ide-haskell

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

terminal-status

A terminal interface and status icon
guileen
28,552
113

language-idris

A plugin for developing with Idris
idris-hackers
15,060
9
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by