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

mindbound's Stars

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

language-idris

A plugin for developing with Idris
idris-hackers
15,060
9

terminal-status

A terminal interface and status icon
guileen
28,552
113

ide-haskell

Haskell IDE
  • #ide-haskell
  • #ide
  • #haskell
atom-haskell
258,634
146
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by