What should the color of the Rocq Prover language on GitHub be?

Miscellaneous
1

Since this GitHub Linguist pull request was released, GitHub correctly detects .v files as Rocq Prover code. However, for now, we haven’t changed the color of the language. The color is currently inherited from the one of the previous logo. It doesn’t reflect the new branding, though, therefore it would seem reasonable to change it. However, there is a catch. The main logo color is orange, quite close to the orange of OCaml, and there are many repositories which contain both Rocq Prover and OCaml code:

image
image332×130 5.21 KB

An alternative would be to use the blue color from the Rocq logo (see Rocq Logos in light mode or the documented color palette on GitHub).

Any change to the color of a language on GitHub Linguist has to be supported by the community. This is how OCaml changed their own color from green to orange a while ago.

So here is a poll to decide:

  • Keep the current color #d0b68c
  • Switch to Rocq Blue preview Rocq Blue #260085
  • Switch to Rocq Orange preview Rocq Orange #FF540A
  • Other
0 voters
2

FWIW I would also replace the orange highlights in the Rocq documentation with something more restful/common.

3

I think it’s a feature that OCaml and Rocq will have similar colors. They’re similar languages, they have similar colors, and it simplifies the code-distribution element to essentially “What is the distribution of ML-like vs non-ML languages in this repo?”

Plus, it’s a kick-tush color. OCaml shouldn’t get dibs on it.

4

For comparison on how it would look like:

  • Rocq Blue
    image
  • Rocq Orange
    image
  • Current
    image