coq-community/manifesto issues and pull requests

#91 - Proposal to move project SMTCoq to coq-community

Issue - State: open - Opened by palmskog almost 5 years ago - 4 comments
Labels: move-project, coq-plugin

#91 - Proposal to move project SMTCoq to coq-community

Issue - State: open - Opened by palmskog almost 5 years ago - 4 comments
Labels: move-project, coq-plugin

#90 - Guidelines for advocacy for Coq and Coq-community

Issue - State: open - Opened by palmskog almost 5 years ago - 2 comments
Labels: meta

#90 - Guidelines for advocacy for Coq and Coq-community

Issue - State: open - Opened by palmskog almost 5 years ago - 2 comments
Labels: meta

#89 - Social media / Twitter account

Issue - State: closed - Opened by ejgallego almost 5 years ago - 10 comments
Labels: meta

#89 - Social media / Twitter account

Issue - State: closed - Opened by ejgallego almost 5 years ago - 10 comments
Labels: meta

#88 - Proposal to move CoqdocJS or a fork to coq-community

Issue - State: closed - Opened by palmskog almost 5 years ago - 13 comments
Labels: move-project, meta

#87 - Adding support for dune builds in coq-community projects

Issue - State: open - Opened by palmskog almost 5 years ago - 24 comments
Labels: meta, automation

#86 - Proposal to move JMLCoq to coq-community

Issue - State: closed - Opened by palmskog almost 5 years ago - 5 comments
Labels: move-project, coq-library

#86 - Proposal to move JMLCoq to coq-community

Issue - State: closed - Opened by palmskog almost 5 years ago - 5 comments
Labels: move-project, coq-library

#85 - Proposal to move project semantics to coq-community

Issue - State: closed - Opened by k4rtik almost 5 years ago - 10 comments
Labels: move-project

#85 - Proposal to move project semantics to coq-community

Issue - State: closed - Opened by k4rtik almost 5 years ago - 10 comments
Labels: move-project

#84 - Proposal to move project hoare-tut to coq-community

Issue - State: closed - Opened by k4rtik almost 5 years ago - 3 comments
Labels: move-project

#84 - Proposal to move project hoare-tut to coq-community

Issue - State: closed - Opened by k4rtik almost 5 years ago - 3 comments
Labels: move-project

#83 - Proposal to move Polaris to coq-community

Issue - State: open - Opened by palmskog about 5 years ago - 2 comments
Labels: move-project, maintainer-wanted, coq-library

#83 - Proposal to move Polaris to coq-community

Issue - State: open - Opened by palmskog about 5 years ago - 2 comments
Labels: move-project, maintainer-wanted, coq-library

#82 - Proposal to move FSCQ to coq-community

Issue - State: open - Opened by palmskog about 5 years ago
Labels: move-project, maintainer-wanted, coq-extraction

#82 - Proposal to move FSCQ to coq-community

Issue - State: open - Opened by palmskog about 5 years ago
Labels: move-project, maintainer-wanted, coq-extraction

#76 - Back-up repository data

Issue - State: open - Opened by Zimmi48 over 5 years ago - 1 comment
Labels: meta, automation

#75 - Automation for citing Coq-community projects in publications

Issue - State: open - Opened by palmskog over 5 years ago - 3 comments
Labels: meta, automation

#74 - Fix typo in CODE_OF_CONDUCT.md.

Pull Request - State: closed - Opened by Zimmi48 over 5 years ago

#73 - A list of Coq resources maintained by community

Issue - State: closed - Opened by anton-trunov over 5 years ago - 7 comments
Labels: meta

#73 - A list of Coq resources maintained by community

Issue - State: closed - Opened by anton-trunov over 5 years ago - 7 comments
Labels: meta

#72 - VsCoq

Issue - State: closed - Opened by maximedenes over 5 years ago - 7 comments
Labels: move-project, external-tool

#72 - VsCoq

Issue - State: closed - Opened by maximedenes over 5 years ago - 7 comments
Labels: move-project, external-tool

#71 - dblib is unmaintained

Issue - State: closed - Opened by KevOrr over 5 years ago - 8 comments
Labels: move-project, coq-library

#71 - dblib is unmaintained

Issue - State: closed - Opened by KevOrr over 5 years ago - 8 comments
Labels: move-project, coq-library

#70 - Add Coq to Travis CI

Issue - State: closed - Opened by liyishuai over 5 years ago - 14 comments
Labels: automation

#70 - Add Coq to Travis CI

Issue - State: closed - Opened by liyishuai over 5 years ago - 14 comments
Labels: automation

#69 - Outsource templates

Pull Request - State: closed - Opened by palmskog over 5 years ago - 4 comments

#69 - Outsource templates

Pull Request - State: closed - Opened by palmskog over 5 years ago - 4 comments

#66 - Organization wide contributing guide and code of conduct.

Issue - State: open - Opened by Zimmi48 over 5 years ago - 4 comments
Labels: meta

#64 - Move the exact-real-arithmetic contrib to coq-community.

Issue - State: closed - Opened by Zimmi48 over 5 years ago - 12 comments
Labels: move-project, coq-library

#64 - Move the exact-real-arithmetic contrib to coq-community.

Issue - State: closed - Opened by Zimmi48 over 5 years ago - 12 comments
Labels: move-project, coq-library

#60 - Proposal to move NuprlInCoq to Coq-community

Issue - State: open - Opened by palmskog over 5 years ago - 8 comments
Labels: move-project, coq-library, coq-extraction

#58 - support for extraction builds in templates

Pull Request - State: closed - Opened by palmskog over 5 years ago - 1 comment

#58 - support for extraction builds in templates

Pull Request - State: closed - Opened by palmskog over 5 years ago - 1 comment

#56 - Move CertiCrypt to Coq-community

Issue - State: open - Opened by palmskog over 5 years ago - 8 comments
Labels: move-project, maintainer-wanted, coq-library

#55 - Move ALEA to Coq-community

Issue - State: closed - Opened by palmskog over 5 years ago - 13 comments
Labels: move-project, coq-library

#55 - Move ALEA to Coq-community

Issue - State: closed - Opened by palmskog over 5 years ago - 13 comments
Labels: move-project, coq-library

#49 - Add deploy job to CI to publish new releases when tag is put.

Issue - State: open - Opened by Zimmi48 over 5 years ago - 10 comments
Labels: automation

#45 - Move the containers contrib to coq-community

Issue - State: open - Opened by Zimmi48 over 5 years ago - 10 comments
Labels: move-project, coq-plugin, coq-library

#45 - Move the containers contrib to coq-community

Issue - State: open - Opened by Zimmi48 over 5 years ago - 10 comments
Labels: move-project, coq-plugin, coq-library

#25 - Proposal to add RelationExtraction

Issue - State: open - Opened by palmskog almost 6 years ago - 3 comments
Labels: move-project, maintainer-wanted, coq-plugin

#25 - Proposal to add RelationExtraction

Issue - State: open - Opened by palmskog almost 6 years ago - 3 comments
Labels: move-project, maintainer-wanted, coq-plugin

#20 - Proposition to move Keller and Lasson's paramcoq to coq-community

Issue - State: closed - Opened by CohenCyril about 6 years ago - 15 comments
Labels: move-project, coq-plugin

#20 - Proposition to move Keller and Lasson's paramcoq to coq-community

Issue - State: closed - Opened by CohenCyril about 6 years ago - 15 comments
Labels: move-project, coq-plugin

#16 - proviola

Issue - State: closed - Opened by Zimmi48 over 6 years ago - 11 comments
Labels: move-project, external-tool

#16 - proviola

Issue - State: closed - Opened by Zimmi48 over 6 years ago - 11 comments
Labels: move-project, external-tool

#15 - Coq-ext-lib

Issue - State: closed - Opened by spitters over 6 years ago - 26 comments
Labels: move-project, coq-library

#15 - Coq-ext-lib

Issue - State: closed - Opened by spitters over 6 years ago - 26 comments
Labels: move-project, coq-library

#3 - Define a set of best practices on how to maintain a project

Issue - State: open - Opened by Zimmi48 over 6 years ago - 15 comments
Labels: meta

#2 - Define a governance process

Issue - State: open - Opened by Zimmi48 over 6 years ago - 22 comments
Labels: meta

GitHub / coq-community/manifesto issues and pull requests