zigtools / zls

A Language Server Protocol implementation for the Zig programming language, providing editor IDE features like completions and go-to-definition.

rocq-prover / rocq

Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.