GitHub repository: tomtomjhj/coq.ctags
Primary language: Coq
Description: Universal Ctags optlib parser for Coq