Emacs minor mode that keeps your code always indented. More reliable than electric-indent-mode.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Emacs as your personal AI assistant. Use LLMs such as ChatGPT or LLaMA for text generation or DALL-E and Stable Diffusion for image generation. Also supports speech input / output.
The repository host gives no description.
Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam