Ian Ding's repositories
leetcode.vim
Solve LeetCode problems in Vim!
coqide.vim
CoqIDE in Vim
Dash-User-Contributions
Dash repo of user contributed docsets
Language:Python000
emacsd
Ian Ding's Emacs setup
Language:Emacs LispMIT000
ian-emacsd
Ian Ding's recommended emacs config
ianding1.github.io
Ian's Website
Language:CSS000
ian-tmuxconf
Ian's recommended Tmux configuration file!
000
Language:Lua000
tango.vim
Full Tango based colorscheme
000
vim-termhelper
The last piece of the Vim-terminal puzzle
Language:Vim script000