Native, lightweight modal code editor
- oni
- editor
- reasonml
- ocaml
Repository Index
47,133 repositories indexed
1–19 of 19 · Most stars
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
Use the w, e, b motions like a spider. Move by subwords and skip insignificant punctuation.
- camelcase
- nvim-plugin
- editing-support
- neovim-plugin
Interactive real time neovim scratchpad for embedded lua engine - type and watch!
A fast finder system for neovim.
Neovim plugin that shows type annotations as virtual text
- nvim
- nvim-lsp
- nvim-plugin
- ocaml-lsp
Emacs OCaml mode
Snippet plugin for Neovim written in Lua
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Visual Integration Designer for Apache Camel
- camel
- camel-k
- apache-camel
- integration
A lightweight markdown format plugin like vim-table-mode but write in lua
User-friendly framework for building your dream tabline in a few lines of code.
Hide secrets like API keys, passwords and tokens in Neovim while screen sharing or streaming. Masks .env, JSON, YAML, TOML, XML, .http, Terraform/HCL and Dockerfiles with extmarks, without changing the file. Presentation mode, screen shield, picker and terminal masking.
a lightweight ChatGPT plugin for neovim
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