- ๐ Hi, Iโm @Sivecano
- ๐ Iโm interested in exploring fun ideas
- ๐ฑ Iโm currently learning haskell
- ๐๏ธ Iโm looking to collaborate on ...
- ๐ซ How to reach me ...
sivecano / coq_nvim Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ms-jpq/coq_nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
License: GNU General Public License v3.0