PrototypeCommon
rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- Owner
- rocq-community (organization)
- Stars
- Stars: 212
- Forks
- Forks: 69
- Language
- OCaml
- License
- LGPL-2.1
- Created
- 2019
- Topics
- coqideuser-interfacevscode-extensioninteractive-theorem-provinglanguage-server-protocolrocqrocq-prover
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/fourcolorStars: 253Rocq ProverAlpha
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- rocq-community/coq-artStars: 131CoqPrototype
Nearby in OCaml
All OCaml repos- jhjourdan/C11parserStars: 215OCamlPrototype
- Risto-Stevcev/bastetStars: 214OCamlPrototype
- mfp/extprotStars: 212OCamlPrototype
- PLSysSec/FaCTStars: 210OCamlPrototype
- LexiFi/ocaml-vdomStars: 210OCamlPrototype
- stedolan/mlsubStars: 209OCamlPrototype