merlin
Mode for Merlin, an assistant for OCaml.
Latest release v2.5.5 - Published - 990 stars
dune
Integration with the dune build system
Latest release 1.8.0 - Published - 626 stars
utop
Universal toplevel for OCaml
Latest release 2.1.0 - Published - 398 stars
redtt
Major mode for editing redtt proofs
Latest release - Published - 72 stars
line-up-words
Align words in an intelligent way
Latest release - Published - 8 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search