This is stars and forks stats for /ejgallego/coq-lsp repository. As of 29 Apr, 2024 this repository has 105 stars and 19 forks.
Coq LSP coq-lsp is a Language Server and Visual Studio Code extension for the Coq Proof Assistant. Experimental support for Vim and Neovim is also available in their own projects. Quick Install: 🐧 Linux / 🍎 macOs: $ opam install coq-lsp && code --install-extension ejgallego.coq-lsp` 🪟 Windows: Download the Coq Platform installer Key features of coq-lsp are: continuous and incremental document checking, advanced error recovery, hybrid Coq/markdown document support, multiple workspace support,...
Coq LSP coq-lsp is a Language Server and Visual Studio Code extension for the Coq Proof Assistant. Experimental support for Vim and Neovim is also available in their own projects. Quick Install: 🐧 Linux / 🍎 macOs: $ opam install coq-lsp && code --install-extension ejgallego.coq-lsp` 🪟 Windows: Download the Coq Platform installer Key features of coq-lsp are: continuous and incremental document checking, advanced error recovery, hybrid Coq/markdown document support, multiple workspace support,...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ocaml-flambda/flambda-backend | OCamlCShell | 66 | 0 | 50 | 0 |
jbehrends/cookbook-snmp | PerlRuby | 1 | 0 | 33 | 0 |
StaticMania/hugo-apsho | SCSSHTMLCSS | 104 | 0 | 65 | 0 |
forever-inc/forever-style-guide | SCSSJavaScript | 2 | 0 | 2 | 0 |
vinceliuice/grub2-themes | ShellNix | 2.7k | +10 | 212 | 0 |
titzer/virgil | ShellJavaC | 826 | 0 | 23 | 0 |
Gogh-Co/Gogh | HTMLShellSCSS | 8.2k | +18 | 601 | +6 |
cultdao-developer/revolt2earn | SolidityJavaScript | 2 | 0 | 1 | 0 |
makerdao/dss-teleport | SolidityRubyOther | 81 | 0 | 13 | 0 |
janosh/svelte-multiselect | TypeScriptSvelteCSS | 219 | 0 | 28 | 0 |