欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Vim
来自开放百科 - 灰狐
Vim 和 GNU Emacs 作为开源世界最重要的编辑器,以其强大的功能和可定制能力被众多开发者所喜爱。Vim 和 GNU Emacs 是系统开发人员的至爱。
目录 |
C/C++
Python
python.vim : A set of menus/shortcuts to work with Python files http://vim.sourceforge.net/scripts/script.php?script_id=30
Perl
PHP
Ruby
Docs
分享您的观点