Popular repositories Loading

1. git git Public

   Forked from git/git

   Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

   C

2. chrome-iswitch chrome-iswitch Public

   A chrome extension which allows interactive (keyboard-based) switching of tabs

   JavaScript

3. custom-mode-map custom-mode-map Public

   Emacs customize support for keymaps

   Emacs Lisp

4. blackwattle-v0 blackwattle-v0 Public

   Yet another experimental theorem prover.

   Haskell

5. irc-core irc-core Public

   Forked from glguy/irc-core

   Haskell IRC client library and text client

   Haskell

6. ghc-mod ghc-mod Public

   Forked from DanielG/ghc-mod

   Happy Haskell Hacking for editors

   Haskell