I just went through Success Stories and realized two things:
It starts with “Other Industry Users of OCaml”. I’m not sure if the “Other” should be there.
I don’t see AbsInt GmbH. Since they sell licences to Astrée and CompCert, among others, I assume they must use OCaml. But maybe they don’t want/allow this to be publicly stated?
The Contributing Guide says one can add a new company, but it’s not clear if this is intended for the companies themselves to do, or if someone else can do it. Could someone be in trouble if they add this information themselves, without asking the company to do so?
If the intended workflow is that only the companies themselves should advertise their use of OCaml, maybe that could be added to the guide. Otherwise, maybe add a phrase about under which conditions a company can be added. For instance, I could not find a specific public citation from AbsInt that confirms that they use OCaml; is that a reason for a company not to be added to the list?
I wasn’t aware they use OCaml and I haven’t asked them about it. But I’m reaching out to ask them if they would like to be listed and/or be featured in a success story.
Common courtesy would be to reach out and ask first, especially when we’re displaying their company logo. There’s possible trademark issues when we do use their logo without permission and many large companies have a legal department that screens all uses of their intellectual property.
Thanks for bringing this topic up!
Indeed it’s always possible for a company to open a pull request to add themselves, or to ask us about being featured in a success story.
It’s also very helpful when you tell us about a company that uses OCaml (so we reach out).
When you encounter a company that uses OCaml: do make them aware they can be listed on that page.