Merlin
ToolOpen-source projects built with Merlin
There are currently 5 open-source projects built with Merlin, with a combined total of 2.1k GitHub stars. The most common language among these projects is OCaml.
Showing 5 open-source projects
A language server implementing the Language Server Protocol (LSP) for OCaml, providing editor support like autocompletion and diagnostics.
A Rust implementation of Schnorr signatures and verifiable random functions (VRF) on the Ristretto group for secure cryptographic protocols.
An OCaml kernel for Jupyter notebooks, providing an OCaml REPL with markdown/HTML documentation, LaTeX, and image embedding.
Translates OCaml programs to Coq for formal verification of properties like invariants and absence of failures.
Translates OCaml programs to Coq for formal verification of properties like invariants, absence of failures, and backward compatibility.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.