dune
Integration with the dune build system
Latest release 2.6.0 - Published - 985 stars
merlin
Mode for Merlin, an assistant for OCaml.
Latest release v2.5.5 - Published - 993 stars
utop
Universal toplevel for OCaml
Latest release 2.4.3 - Published - 559 stars
redtt
Major mode for editing redtt proofs
Latest release - Published - 72 stars
lambdapi-mode
A major mode for editing Lambdapi source code
Latest release - Published - 92 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