Merlin

ocaml-lspocaml/ocaml-lsp

A language server implementing the Language Server Protocol (LSP) for OCaml, providing editor support like autocompletion and diagnostics.

schnorrkelparitytech/schnorrkel

A Rust implementation of Schnorr signatures and verifiable random functions (VRF) on the Ristretto group for secure cryptographic protocols.

Jupyterakabe/ocaml-jupyter

An OCaml kernel for Jupyter notebooks, providing an OCaml REPL with markdown/HTML documentation, LaTeX, and image embedding.

CoqOfOCamlclarus/coq-of-ocaml

Translates OCaml programs to Coq for formal verification of properties like invariants and absence of failures.

coq-of-ocamlformal-land/coq-of-ocaml

Translates OCaml programs to Coq for formal verification of properties like invariants, absence of failures, and backward compatibility.