vscoq-language-server
Compatibility meta package for the VsRocq language server after the Rocq renaming
- Category
- OCaml packages
Official docs outline
ocaml.orgExtra Credit builds an outline of vscoq-language-server's docs the first time your work uses it. Until then, start at the official documentation.
More in OCaml packages
All 500-
SZXX Streaming ZIP XML XLSX parser
-
xoshiro Xoshiro PRNGs as drop-in replacements for Stdlib.Random
-
mimic-happy-eyeballs A happy-eyeballs integration into mimic
-
diffast-langs-fortran Fortran parser plugin for Diff/AST
-
json-derivers Common Derivers for Jsonm/Yjson
-
cryptoverif CryptoVerif: Cryptographic protocol verifier in the computational model
-
quickjs Bindings for QuickJS (a Javascript Engine to be embedded https://bellard.org/quickjs)
-
stdint-literals Small PPX for fixed size integer literals
-
cpdf PDF command line tools
-
host-system-msvc OCaml for Microsoft Visual Studio
-
lablgtk3-goocanvas2 OCaml interface to GTK+ GooCanvas library
-
dht OCaml bindings for Juliusz Chroboczek's dht C library