opam-switch-mode
Opam switch manager
A package to manage opam switches in Emacs, providing a way to switch between different OCaml development environments.
Select OCaml opam switches via a menu or using a command
5 stars
2 watching
4 forks
Language: Emacs Lisp
last commit: about 3 years agoLinked from 2 awesome lists
emacsmerlinocamlopamproof-generaltuareg
ocaml-community/awesome-ocaml
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ocaml/oasis2opam | Converts Oasis metadata to OPAM package descriptions | 27 |
 kiranandcode/gopcaml-mode | A major mode for Emacs that provides an integrated development environment (IDE) for OCaml programming | 22 |
 mjago/emacs | A configuration management system for Emacs using a literate programming approach and version control. | 7 |
| ocaml/tuareg | An Emacs mode for editing and working with the OCaml programming language | 364 |
 ocamlpro/drom | A tool for creating and managing OCaml projects with automated documentation and CI/CD setup. | 184 |
| ocaml/merlin | Provides context-sensitive completion for the OCaml programming language in text editors. | 1,593 |
 angelmmiguel/pm | A tool to simplify switching between projects in the terminal | 195 |
 dbuenzli/topkg | A tool that provides an API and command line interface to manage OCaml software packages | 68 |
 owenthereal/goup | A Go package manager designed to simplify the process of installing and managing different versions of the Go programming language. | 549 |
 trivial-garbage/trivial-garbage | Provides APIs for managing object lifetimes and memory management in Common Lisp programs. | 44 |
 fukamachi/envy | A configuration manager for software applications inspired by Config::ENV. | 57 |
 appsignal/mono | A tool for managing single and mono repository packages across multiple programming languages. | 10 |
 napalm-automation/napalm-ansible | Provides a collection of Ansible modules that use NAPALM to interact with networking devices | 247 |
 digitalocean/go-qemu | Provides an interface to manage and interact with running QEMU instances | 735 |
 stefanmaric/g | A tool for managing multiple versions of the Go programming language on a single system. | 913 |