vsrocq-language-server

Extra Credit builds an outline of vsrocq-language-server's docs the first time your work uses it. Until then, start at the official documentation.

• ffmpeg-avutil Bindings for the ffmpeg avutil libraries
• sibylfs-lem SibylFS fork of Lightweight Executable Mathematics for large-scale semantics
• calculon Library for writing IRC bots in OCaml and a collection of plugins
• synchronizer Synchronizer
• mechaml A functional web scraping library
• styled-ppx Type-safe styled components for ReScript and Melange
• solo5-bindings-muen Solo5 sandboxed execution environment (muen target)
• solo5-bindings-xen Solo5 sandboxed execution environment (xen target)
• solo5-kernel-muen Solo5 sandboxed execution environment (muen target)
• tezos-client-010-PtGRANAD-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
• ocamlsdl2-image Interface to the SDL2_image library
• orthologic-coq A plugin to add orthologic-based tactics to Coq