# Call for volunteer maintainers of CoqIDE

**URL:** <https://discourse.rocq-prover.org/t/call-for-volunteer-maintainers-of-coqide/1966>\
**Category:** Announcements\
**Created:** [June 2, 2023, 12:34pm UTC](https://discourse.rocq-prover.org/t/call-for-volunteer-maintainers-of-coqide/1966 "2023-06-02T12:34:10Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [June 2, 2023, 12:34pm UTC](https://discourse.rocq-prover.org/t/call-for-volunteer-maintainers-of-coqide/1966/1 "2023-06-02T12:34:10Z")

</div>

The [Coq core team](https://coq.inria.fr/coq-team.html) and [Coq-community](https://github.com/coq-community/manifesto) are looking for volunteer maintainers of the CoqIDE project.

[CoqIDE](https://coq.inria.fr/refman/practical-tools/coqide.html) is an Integrated Development Environment (IDE) for Coq. CoqIDE is implemented using the OCaml programming language and the GTK3 widget toolkit for graphical user interfaces (GUIs). CoqIDE uses a [legacy XML-based protocol](https://github.com/coq/coq/blob/master/dev/doc/xml-protocol.md) to communicate with Coq and is licensed under the open source [LGPL-2.1 license](https://spdx.org/licenses/LGPL-2.1-only.html).

CoqIDE’s source code is currently part of Coq’s [GitHub repository](https://github.com/coq/coq). Due to a desire to shift IDE-related work toward [LSP](https://microsoft.github.io/language-server-protocol/) and [VS Code](https://code.visualstudio.com/) support, the Coq core team no longer considers CoqIDE maintenance and evolution a priority. With this call, the team wants to give an opportunity to the Coq community to take over CoqIDE maintenance and lead its future evolution.

If maintainers are found, CoqIDE sources will be moved to a repository in the [Coq-community organization](https://github.com/coq-community) on GitHub, where it will receive support and fixes from the core team for a limited time. If no maintainers are found, CoqIDE sources will be kept in Coq’s repository and minimally maintained until their eventual removal.

More details about the context and the plans for the future of IDEs for Coq can be found in [Coq CEP 68 leading to this call](https://github.com/coq/ceps/blob/master/text/068-coqide-split.md).

Please respond to [this GitHub issue](https://github.com/coq-community/manifesto/issues/145) with a brief motivation and summary of relevant experience for becoming a CoqIDE maintainer. As part of their application, volunteer maintainers are encouraged to briefly present their short-term and long-term plans for CoqIDE and how long they think they will remain active on CoqIDE maintenance. However, this won’t be considered as a commitment on their part, as plans and priorities can evolve based on the context and personal circumstances. The maintainer(s) will be selected from the issue responders by the Coq core team and Coq-community [organization owners](https://github.com/coq-community/manifesto#process--organizational-aspects). Responders not selected will still be encouraged to contribute to CoqIDE in collaboration with the new maintainer(s) and other contributors.

Anyone else planning to get involved as an active and regular contributor to the CoqIDE project is also welcome to make themselves known in the GitHub issue and to briefly present which improvements and changes they plan to propose.

> <https://github.com/coq-community/manifesto/issues/145>
>
> \*\*Project name:\*\* CoqIDE
> 
> \*\*Initial author(s):\*\* The Coq development team, INR…IA, CNRS, and contributors
> 
> \*\*Current URL:\*\* https://github.com/coq/coq
> 
> \*\*Kind:\*\* Integrated Development Environment (IDE) for Coq
> 
> \*\*License:\*\* \[LGPL-2.1-only\](https://spdx.org/licenses/LGPL-2.1-only.html)
> 
> \*\*Description:\*\* \[CoqIDE\](https://coq.inria.fr/refman/practical-tools/coqide.html) is an IDE implemented using the OCaml programming language and the GTK3 widget toolkit for graphical user interfaces (GUIs), thanks to the \[lablgtk3\](https://opam.ocaml.org/packages/lablgtk3/) OCaml package. CoqIDE uses a \[legacy XML-based protocol\](https://github.com/coq/coq/blob/master/dev/doc/xml-protocol.md) to communicate with Coq and is licensed under the open source \[LGPL-2.1 license\](https://spdx.org/licenses/LGPL-2.1-only.html).
> 
> \*\*Status:\*\* CoqIDE's source code is currently part of Coq's \[GitHub repository\](https://github.com/coq/coq). Due to a desire to shift IDE-related work toward \[LSP\](https://microsoft.github.io/language-server-protocol/) and \[VS Code\](https://code.visualstudio.com/) support, the Coq core team no longer considers CoqIDE maintenance and evolution a priority. With this proposal issue, the team wants to give an opportunity to the Coq community to take over CoqIDE maintenance and lead its future evolution.
> 
> More details about the context and the plans for the future of IDEs for Coq can be found in \[Coq CEP 68 leading to this proposal issue\](https://github.com/coq/ceps/blob/master/text/068-coqide-split.md).
> 
> \*\*New maintainer:\*\* looking for volunteers
> 
> To volunteer, please respond to this GitHub issue with a brief motivation and summary of relevant experience for becoming a CoqIDE maintainer. As part of their reply to this issue, volunteers are encouraged to briefly present their short-term and long-term plans for CoqIDE and how long they think they will remain active on CoqIDE maintenance. However, this won't be considered as a commitment, as plans and priorities can evolve based on the context and personal circumstances. The maintainer(s) will be selected from the issue responders by the \[Coq core team\](https://coq.inria.fr/coq-team.html) and Coq-community \[organization owners\](https://github.com/coq-community/manifesto#process--organizational-aspects). Responders not selected will still be encouraged to contribute to CoqIDE in collaboration with the new maintainer(s) and other contributors.
> 
> Anyone else planning to get involved as an active and regular contributor to the CoqIDE project is also welcome to make themselves known in this GitHub issue and to briefly present which improvements and changes they plan to propose.