Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
❄️ A dead simple Nix flake template repository for Neovim derivations [maintainer=@mrcjkb]
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
All Your GitHub repos and more in Neovim 🐙🛠️
Powerful Utilities for Neovim Plugin Devs 🛠️🧰
Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]
- emacs
- ocaml
- learn-ocaml