Similar repositories to lukenels/spacemacs-coq: