Karl Palmskog
Karl Palmskog
**Project name:** Polaris **Initial author(s):** Joseph Tassarotti **Current URL:** https://github.com/jtassarotti/polaris **Kind:** pure Coq library **License:** BSD **Description:** Library for reasoning about probabilistic and concurrent programs, based an extension of the...
## Move a project to coq-community ## **Project name:** Velisarios **Initial author(s):** Vincent Rahli, Ivana Vukotic, Marcus Völp, and Paulo Esteves-Verissimo **Current URL:** https://github.com/vrahli/Velisarios **Kind:** Coq library and extractable program...
## Move a project to coq-community ## **Project name:** SyDRec **Initial author(s):** [Simon Robillard](https://github.com/simonr89) **Current URL:** https://github.com/simonr89/SyDRec **Kind:** OCaml plugin **License:** CeCILL-C **Description:** Plugin that allows generating catamorphisms and accompanying...
## Move a project to coq-community ## **Project name:** Cocasse **Initial author(s):** Nicolas Tabareau and Éric Tanter **Current URL:** https://github.com/tabareau/Cocasse **Kind:** Coq library with extraction examples **License:** unknown (need to...
## Move a project to coq-community ## **Project name:** hybrid **Initial author(s):** Herman Geuvers, Dan Synek, Adam Koprowski, and Eelis van der Weegen **Current URL:** https://github.com/Eelis/hybrid **Kind:** Coq library and...
## Move a project to coq-community ## **Project name:** rippling **Initial author(s):** [Sean Wilson](https://www.seanw.org) **Current URL:** https://github.com/tomprince/rippling **Kind:** OCaml plugin **License:** LGPL 2.1 **Description:** Plugin for automation of induction proofs...
## Meta-issue ## As highlighted by @Zimmi48 in a recent [pull request](https://github.com/coq-community/manifesto/pull/35), we are currently using informal conventions to indicate project licenses in OPAM files, e.g., `LGPL 3` and `LGPL2`....
Inria recently announced that they will shut down [gforge](https://gforge.inria.fr) project hosting by the end of 2020. Everyone who uses gforge will have to take manual action to migrate their repositories...
I'm looking at the [current version](https://coq.inria.fr/opam/coq-packages.json) of the JSON format for the archive, and there are some elements that should be easy to improve to provide additional value for consumers...
As noted in coq-community/manifesto#98, some legacy projects use very generic Coq namespaces (logical path names, `logpath` in OPAM), such as `Graph`, `Algebra`, etc. Moreover, as new packages are added to...