← All repos

vsrocq

Visual Studio Code extension for Rocq

GitHub
coqeditorrocqrocq-provervscodevscode-extensionvscodium
Browse cluster: OCaml Systems and Utilities →
1,546commits
64contributors
11languages

Tech stack & purpose

VsRocq is a Visual Studio Code and VSCodium extension that provides support for the Rocq Interactive Theorem Prover. It is built around a language server that speaks the LSP protocol and supports Rocq versions 8.18 and later. The tech stack consists of OCaml (for the language server components), TypeScript or JavaScript (for the VS Code extension client), and includes internal modules written in OCaml such as a scheduler for analyzing documents, a document manager for holding parsed and text forms, an execution manager for Rocq state, and a delegation manager for distributing work to worker processes. The extension is currently maintained by Enrico Tassi and Romain Tetley.

Community & reference links

Languages

OCaml
42.8%
Nix
28.6%
TypeScript
20.2%
Rocq Prover
6.6%
CSS
1.2%
Makefile
0.2%
Perl
0.2%
Batchfile
0.1%
HTML
0.1%
Shell
0.1%
Dune
0.0%

Contributors (top 30 of 64)