Repository Index

Native, lightweight modal code editor

• oni
• editor
• reasonml
• ocaml

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

• clojure
• clojurescript
• interactive-snippets
• javascript

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

Neovim plugin that shows type annotations as virtual text

• nvim
• nvim-lsp
• nvim-plugin
• ocaml-lsp

Emacs OCaml mode

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Type and doc on hover for OCaml and Reason in emacs

• emacs
• ocaml
• reasonml

Default Sublime Text highlighting for OCaml sucks. I've fixed it.

Select OCaml opam switches via a menu or using a command

• emacs
• proof-general
• ocaml
• opam

Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]

• emacs
• ocaml
• learn-ocaml