Discover @tomtomjhj Open Source projects

Jaehwang Jung (@tomtomjhj)

tomtomjhj

Stars
21
Global Rank 618,220 (Top 22 %)
Followers 34
Following 56
Registered over 8 years ago
Most used languages

Coq 33.3 %

Vim Script
33.3 %

Lua
33.3 %
Location 🇺🇸 United States
Country Total Rank 109,783
Country Ranking

Coq 119

Lua
1,338

Vim Script
1,859

coq-lsp.nvim

Neovim client for coq-lsp

init.vim

Some vim/nvim configuration. Warning: Viewer discretion is advised.

coq.ctags

Universal Ctags optlib parser for Coq