Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
47,133 repositories indexed
145–160 of 160 · Most stars
Select OCaml opam switches via a menu or using a command
Neovim's Christmas Elf who fetches puzzle input
Vimacs for the Neovim era.
The repository host gives no description.
Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]
A Neovim plugin for colorful highlighting of ASCII art in Markdown code blocks with automatic language detection, custom highlights, and predefined color schemes.
📌 A plugin that will help you easily identify the colors defined in CSS variables
Major mode that provides syntax highlighting and basic completion for TypeQL
Emacs plugin for Fuse
rgbds assembly mode for GNU Emacs
The repository host gives no description.
GNU/Emacs Q# mode
Snippets to make importing Ember modules a snap in VSCode
A lightweight macOS app to quickly clean up and format Swift code. 💻🧹
The repository host gives no description.
Neovim plugin that tracks coding activity (time, filetypes, APM, WPM) and syncs it to the NvimBlast dashboard via a local blastd daemon