tbelaire/neovim-coq
Coq mode for Neovim
Solution to https://www.reddit.com/r/dailyprogrammer/comments/3yiy2d/20151228_challenge_247_easy_secret_santa/
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Coq mode for Neovim
Public repository.
Just a place to push my silly utilities.
Cat