Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
Repository Index
47,133 repositories indexed
49–56 of 56 · Most stars
The repository host gives no description.
Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]
- emacs
- ocaml
- learn-ocaml
Major mode that provides syntax highlighting and basic completion for TypeQL
- syntax-highlighting
- typedb
- typeql
- emacs
Emacs plugin for Fuse
rgbds assembly mode for GNU Emacs
GNU/Emacs Q# mode
The repository host gives no description.