coq-community/manifesto issues and pull requests

#162 - Proposal to move VsCoq repo to Coq organization and create VsCoq-legacy repo in Coq-community

Issue - State: closed - Opened by gares about 1 month ago - 4 comments
Labels: meta

#161 - Proposal to move project Functional Data Structures and Algorithms in SSReflect to coq-community

Issue - State: closed - Opened by palmskog about 2 months ago - 4 comments
Labels: move-project, coq-library

#160 - Proposal to move project coq-serapi to coq-community

Issue - State: open - Opened by ejgallego 2 months ago - 6 comments
Labels: move-project

#159 - Proposal to move Tricks in Coq to Coq-community

Issue - State: closed - Opened by palmskog 4 months ago - 6 comments
Labels: move-project, coq-library

#158 - Additional maintainer of projects math-classes and corn

Issue - State: closed - Opened by proux01 5 months ago - 4 comments
Labels: maintainer-wanted, coq-library

#157 - maintainer of project X

Issue - State: closed - Opened by proux01 5 months ago - 3 comments
Labels: change-maintainer

#156 - Proposal to move dedekind-reals to Coq-community

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

#155 - list Pierre Roux as owner

Pull Request - State: closed - Opened by palmskog 7 months ago

#154 - Proposal to create coq-notation-examples in coq-community

Issue - State: closed - Opened by bcpierce00 10 months ago - 9 comments
Labels: move-project

#153 - Proposal to move Parseque to Coq-community

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

#152 - Proposal to move project trocq to coq-community

Issue - State: closed - Opened by CohenCyril about 1 year ago - 4 comments
Labels: move-project

#151 - Proposal to move coq-primitive to Coq-community

Issue - State: open - Opened by palmskog about 1 year ago - 1 comment
Labels: move-project

#150 - Proposal to move coq-library-complexity to coq-community

Issue - State: open - Opened by yforster about 1 year ago - 1 comment
Labels: move-project, maintainer-wanted, coq-library

#149 - add FAQ item on Coq's CI

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

#148 - add FAQ item on Coq Platform, uniformize ecosystem position questions

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

#147 - Proposal to start project "Rosetta stone of meta-programming" in coq-community

Issue - State: closed - Opened by yforster over 1 year ago - 6 comments
Labels: move-project, coq-plugin

#146 - Proposal to move the Tarjan and Kosaraju project to Coq-community

Issue - State: closed - Opened by palmskog over 1 year ago - 4 comments
Labels: move-project, coq-library

#145 - Proposal to move CoqIDE to Coq-community

Issue - State: open - Opened by palmskog over 1 year ago
Labels: move-project, maintainer-wanted

#144 - Volunteer co-maintainer needed for Docker-Coq

Issue - State: closed - Opened by palmskog almost 2 years ago - 5 comments
Labels: maintainer-wanted

#143 - Consolidation of generally useful Coq code into Coq Platform projects

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

#142 - Proposal to move project MMaps to coq-community

Issue - State: closed - Opened by palmskog about 2 years ago - 4 comments
Labels: move-project, coq-library

#141 - CI feedback from the Coq Community Survey 2022

Issue - State: open - Opened by Zimmi48 about 2 years ago
Labels: meta

#140 - Volunteer interim maintainers needed for VsCoq

Issue - State: closed - Opened by palmskog about 2 years ago - 6 comments
Labels: change-maintainer, maintainer-wanted

#139 - Proposal to move project fourcolor to coq-community

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

#138 - Update info on editorial work.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#137 - Proposal to move project Apery to coq-community

Issue - State: closed - Opened by amahboubi almost 3 years ago - 8 comments
Labels: move-project, coq-library

#136 - Proposal to move bignums to coq-community

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

#135 - new name and description for hydra-battles repo project

Pull Request - State: closed - Opened by palmskog about 3 years ago

#134 - restrict licenses to OSI approved or FSF free software, encourage OSI-FSF intersection

Pull Request - State: closed - Opened by palmskog about 3 years ago

#133 - Update README.md

Pull Request - State: closed - Opened by kbrummert about 3 years ago

#132 - Proposal to move project Autosubst2 to coq-community

Issue - State: closed - Opened by BinderDavid about 3 years ago - 3 comments
Labels: move-project

#131 - Proposal to move project coq-dpdgraph to coq-community

Issue - State: closed - Opened by ybertot about 3 years ago - 7 comments
Labels: move-project, coq-plugin

#130 - Proposal to move project vcs-prettify-symbols-mode to coq-community

Issue - State: closed - Opened by mycroft92 about 3 years ago - 11 comments
Labels: move-project

#129 - Hosting project templates in coq-community?

Issue - State: closed - Opened by ejgallego about 3 years ago - 17 comments
Labels: move-project, meta

#128 - Proposal to move project matrix-canonical-forms to coq-community

Issue - State: closed - Opened by ybertot about 3 years ago - 7 comments
Labels: move-project, coq-library

#127 - Proposal to move project CoqEAL to coq-community

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

#126 - Proposal to move sudoku to coq-community

Issue - State: closed - Opened by siraben over 3 years ago - 20 comments
Labels: move-project

#125 - Update manifesto with current state of affairs.

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

#124 - Proposal to move projects Goedel and Pocklington to coq-community

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

#123 - Change maintainer of ATBR

Issue - State: open - Opened by palmskog almost 4 years ago
Labels: change-maintainer, maintainer-wanted, coq-plugin, coq-library

#123 - Change maintainer of ATBR

Issue - State: open - Opened by palmskog almost 4 years ago
Labels: change-maintainer, maintainer-wanted, coq-plugin, coq-library

#122 - Proposal to move Autosubst version 1 to coq-community

Issue - State: closed - Opened by palmskog about 4 years ago - 7 comments
Labels: move-project, coq-library

#122 - Proposal to move Autosubst version 1 to coq-community

Issue - State: closed - Opened by palmskog about 4 years ago - 7 comments
Labels: move-project, coq-library

#121 - Proposal to move project generic-environments to coq-community

Issue - State: closed - Opened by aerabi about 4 years ago - 8 comments
Labels: move-project, coq-library

#121 - Proposal to move project generic-environments to coq-community

Issue - State: closed - Opened by aerabi about 4 years ago - 8 comments
Labels: move-project, coq-library

#120 - Proposal to move project regexp-Brzozowski to coq-community

Issue - State: closed - Opened by anton-trunov about 4 years ago - 11 comments
Labels: move-project, coq-library

#120 - Proposal to move project regexp-Brzozowski to coq-community

Issue - State: closed - Opened by anton-trunov about 4 years ago - 11 comments
Labels: move-project, coq-library

#119 - Proposal to move project Coqtail to coq-community

Issue - State: closed - Opened by jmadiot about 4 years ago - 9 comments
Labels: move-project, coq-library

#119 - Proposal to move project Coqtail to coq-community

Issue - State: closed - Opened by jmadiot about 4 years ago - 9 comments
Labels: move-project, coq-library

#118 - Automated deployment of coqdoc HTML documentation for each new release

Issue - State: open - Opened by anton-trunov about 4 years ago - 2 comments
Labels: meta

#118 - Automated deployment of coqdoc HTML documentation for each new release

Issue - State: open - Opened by anton-trunov about 4 years ago - 2 comments
Labels: meta

#117 - Proposal to move project Gaia to coq-community

Issue - State: closed - Opened by palmskog about 4 years ago - 1 comment
Labels: move-project, coq-library

#117 - Proposal to move project Gaia to coq-community

Issue - State: closed - Opened by palmskog about 4 years ago - 1 comment
Labels: move-project, coq-library

#116 - Proposal to move project coq100 to coq-community

Issue - State: closed - Opened by jmadiot about 4 years ago - 2 comments
Labels: move-project, coq-library

#116 - Proposal to move project coq100 to coq-community

Issue - State: closed - Opened by jmadiot about 4 years ago - 2 comments
Labels: move-project, coq-library

#115 - Proposal to move project comp-dec-modal to coq-community

Issue - State: closed - Opened by chdoc about 4 years ago - 6 comments
Labels: move-project, coq-library

#115 - Proposal to move project comp-dec-modal to coq-community

Issue - State: closed - Opened by chdoc about 4 years ago - 6 comments
Labels: move-project, coq-library

#114 - Proposal to publish project coqffi to coq-community

Issue - State: closed - Opened by lthms about 4 years ago - 24 comments

#114 - Proposal to publish project coqffi to coq-community

Issue - State: closed - Opened by lthms about 4 years ago - 24 comments

#113 - Change maintainer of project Bertrand

Issue - State: closed - Opened by palmskog about 4 years ago - 4 comments
Labels: change-maintainer, maintainer-wanted

#113 - Change maintainer of project Bertrand

Issue - State: closed - Opened by palmskog about 4 years ago - 4 comments
Labels: change-maintainer, maintainer-wanted

#112 - Change maintainer of project Binary Rational Numbers

Issue - State: open - Opened by palmskog about 4 years ago
Labels: change-maintainer, maintainer-wanted

#112 - Change maintainer of project Binary Rational Numbers

Issue - State: open - Opened by palmskog about 4 years ago
Labels: change-maintainer, maintainer-wanted

#111 - Listing and preserving formalized mathematical results in Coq

Issue - State: open - Opened by palmskog over 4 years ago - 3 comments
Labels: meta

#111 - Listing and preserving formalized mathematical results in Coq

Issue - State: open - Opened by palmskog over 4 years ago - 3 comments
Labels: meta

#110 - Add an FAQ on choice of licenses.

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

#109 - Proposal to move High School Geometry to coq-community

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

#109 - Proposal to move High School Geometry to coq-community

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

#108 - Proposal to move Hydra battles in Coq to coq-community / to create a documented-examples project.

Issue - State: closed - Opened by Zimmi48 over 4 years ago - 24 comments
Labels: move-project

#108 - Proposal to move Hydra battles in Coq to coq-community / to create a documented-examples project.

Issue - State: closed - Opened by Zimmi48 over 4 years ago - 24 comments
Labels: move-project

#107 - fix dead link to Idris community standards

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

#107 - fix dead link to Idris community standards

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

#106 - Refine code of conduct

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

#106 - Refine code of conduct

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

#105 - Remove remaining references to Gitter.

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

#105 - Remove remaining references to Gitter.

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

#104 - Change maintainer of project Stalmarck

Issue - State: closed - Opened by Zimmi48 over 4 years ago - 8 comments
Labels: change-maintainer

#104 - Change maintainer of project Stalmarck

Issue - State: closed - Opened by Zimmi48 over 4 years ago - 8 comments
Labels: change-maintainer

#103 - Move badge from Gitter to Zulip.

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

#103 - Move badge from Gitter to Zulip.

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

#102 - Proposal to move project coq-show to coq-community

Issue - State: closed - Opened by liyishuai over 4 years ago - 2 comments
Labels: move-project, coq-library

#102 - Proposal to move project coq-show to coq-community

Issue - State: closed - Opened by liyishuai over 4 years ago - 2 comments
Labels: move-project, coq-library

#101 - Proposal to move project docker-coq-action to coq-community

Issue - State: closed - Opened by erikmd over 4 years ago - 6 comments
Labels: move-project

#101 - Proposal to move project docker-coq-action to coq-community

Issue - State: closed - Opened by erikmd over 4 years ago - 6 comments
Labels: move-project

#100 - Proposal to move Buchberger to coq-community

Issue - State: closed - Opened by palmskog over 4 years ago - 9 comments
Labels: move-project, coq-extraction

#100 - Proposal to move Buchberger to coq-community

Issue - State: closed - Opened by palmskog over 4 years ago - 9 comments
Labels: move-project, coq-extraction

#99 - Proposal to move project coqoban to coq-community

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

#99 - Proposal to move project coqoban to coq-community

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

#98 - Proposal to move project GraphTheory to coq-community

Issue - State: closed - Opened by chdoc over 4 years ago - 22 comments
Labels: move-project, coq-library

#98 - Proposal to move project GraphTheory to coq-community

Issue - State: closed - Opened by chdoc over 4 years ago - 22 comments
Labels: move-project, coq-library

#97 - Proposal to move Almost Full to coq-community

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

#97 - Proposal to move Almost Full to coq-community

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

#96 - Special badge(s) for projects available on opam, Nix, etc.

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

#95 - remove template examples and template repository submodule

Pull Request - State: closed - Opened by palmskog almost 5 years ago - 3 comments

#95 - remove template examples and template repository submodule

Pull Request - State: closed - Opened by palmskog almost 5 years ago - 3 comments

#94 - Fix grammar and spelling issues in README

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#94 - Fix grammar and spelling issues in README

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#93 - Usefulness and recommended use of Coq projects in coq-community

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

#92 - Proposal to move reglang to coq-community

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

#92 - Proposal to move reglang to coq-community

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

GitHub / coq-community/manifesto issues and pull requests