search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Proposal to move project CoqEAL to coq-community #127

Closed Zimmi48 closed 2 years ago

Zimmi48 commented 2 years ago

Project name: CoqEAL

Initial author(s): according to the README, the authors are

Current URL: https://github.com/CoqEAL/CoqEAL

Kind: pure Coq library, which depends on the parmcoq plugin.

License: MIT

Description:

This libary contains a subset of the work that was developed in the context of the ForMath european project (2009-2013). It has two parts:

Status: maintained

New maintainer: the current maintainers would stay in place.

This move was already proposed by one of the CoqEAL author (@CohenCyril) and approved by the others (@maximedenes @mortberg @drouhling) earlier this year (https://github.com/CoqEAL/CoqEAL/issues/33). I just discovered about this proposal and I think this is a good idea, given that the repository is quite significant but not very actively developed, is currently alone in its organization, already uses the coq-community templates, and could probably benefit from help from other coq-community members.

@CohenCyril If this is still something that you want to do, you should be able to proceed with the transfer.

CohenCyril commented 2 years ago

To the authors should be added @proux01 and @erikmd

palmskog commented 2 years ago

I think this is a good idea, and hopefully leads to eventual inclusion of CoqEAL into the Coq platform: https://github.com/coq/platform/issues/27

spitters commented 2 years ago

Nice! There's also an initiative to redo paramcoq based on metacoq, but I do not know what the status of that is.

palmskog commented 2 years ago

@CohenCyril @proux01 please let us know if we can help with anything that's blocking the transfer of the CoqEAL repo to the coq-community organization. I think there are some really nice synergies we can achieve after the transfer, such as having Nix cache-based CI for paramcoq that tests CoqEAL on every PR.

proux01 commented 2 years ago

It seems we all agree on the transfert https://github.com/CoqEAL/CoqEAL/issues/33 so it's now just a matter of doing it. @CohenCyril I don't have enough rights on CoqEAL repo, so I let you proceed.

CohenCyril commented 2 years ago

done!

palmskog commented 2 years ago

Thanks Cyril! I'm going to assume for now that Cyril and Pierre are the coq-community maintainers and put this in the repo description.

Let's close this issue and continue the discussion as CoqEAL issues.