mindbound's Stars

Sort: Least recently updated
Sort options

language-idris

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

terminal-status

A terminal interface and status icon
guileen
28,552

ide-haskell

Haskell IDE
atom-haskell
258,634