Popular repositories Loading

1. stackage-server stackage-server Public

   Forked from commercialhaskell/stackage-server

   Server for stable, curated Haskell package sets

   CSS 1

2. grc grc Public

   Forked from garabik/grc

   generic colouriser

   Python

3. idris-vim idris-vim Public

   Forked from idris-hackers/idris-vim

   Idris mode for vim

   Vim Script

4. SDL-idris SDL-idris Public

   Forked from edwinb/SDL-idris

   SDL bindings package for idris

   Idris

5. stackage-dot stackage-dot Public

   Forked from fpco/stackage-dot

   Haskell

6. nixFromStack nixFromStack Public

   Generate nix expressions from stack files

   Nix