Popular repositories Loading

1. idris-mode idris-mode Public

   Forked from idris-hackers/idris-mode

   Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.

   Emacs Lisp

2. ace-jump-mode ace-jump-mode Public

   Forked from winterTTr/ace-jump-mode

   a quick cursor jump mode for emacs

   Emacs Lisp

3. haskell-opaleye haskell-opaleye Public

   Forked from tomjaguarpaw/haskell-opaleye

   Haskell

4. hackage-server hackage-server Public

   Forked from haskell/hackage-server

   The new Hackage server aka "Hackage 2"

   Haskell

5. haddock haddock Public

   Forked from haskell/haddock

   Haskell Documentation Tool

   Haskell

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix