Similar repositories to Ailrun/coq-commenter:

• Ailrun/coq-commenter github similar
• danistefanovic/build-your-own-x github similar
• lujun9972/auto-pause github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• witheve/emacs-eve-mode github similar
• e-user/contextual github similar
• ryuslash/dispass.el github similar
• sabof/edit-color-stamp github similar
• tuvtran/project-based-learning github similar
• pjones/bitlbee-el github similar
• woudshoo/sparkline github similar
• 0robustus1/opener.el github similar
• yuutayamada/commenter github similar
• drvink/flycheck-ats2 github similar
• nicferrier/eimp github similar
• zonuexe/auto-read-only.el github similar
• wbolster/emacs-xml-format github similar
• redguardtoo/fastdef github similar
• zdharma/history-search-multi-word github similar
• Vannil/cheerilee.el github similar
• plandes/buffer-manage github similar
• ryuslash/avandu github similar
• magicdirac/avy-flycheck github similar
• aki2o/emacs-bts-github github similar
• vedang/el-spice github similar
• zonuexe/aa-edit-mode github similar
• Fuco1/ETable github similar
• jmitchell/bnfc-mode github similar
• emacs-helm/helm-bbdb github similar
• jonnay/fix-muscle-memory github similar
• tbanel/orgtblasciiplot github similar
• akermu/cbm.el github similar
• flexibeast/dkl github similar
• handsontable/spreadsheet-icons github similar
• HKey/dired-atool github similar
• yuutayamada/company-arduino github similar
• crocket/dired-single github similar
• rubikitch/all-ext github similar
• roman/clocker.el github similar