mindbound's Stars

Sort: Least recently updated
Sort options

terminal-status

A terminal interface and status icon
guileen
27,833

ide-haskell

Haskell IDE
atom-haskell
222,782

language-idris

A plugin for developing with Idris
idris-hackers
12,854