Popular repositories Loading

1. bbdb-vcard bbdb-vcard Public

   Forked from trebb/bbdb-vcard

   vCard Import and Export for The Insidious Big Brother Database (BBDB)

   Emacs Lisp 1

2. emacs-calfw emacs-calfw Public

   Forked from kiwanami/emacs-calfw

   A calendar framework for Emacs

   Emacs Lisp 1

3. andromeda-opam andromeda-opam Public

   1

4. mosh mosh Public

   Forked from mobile-shell/mosh

   Mobile Shell

   C++

5. merlin merlin Public

   Forked from ocaml/merlin

   Context sensitive completion for Ocaml in Vim and Emacs

   OCaml

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml