[ANN] the OCaml Software Foundation

Dear OCaml community,

It is my pleasure to publicize the OCaml Software Foundation, a non-profit foundation dedicated to grow and strengthen the OCaml community. It is funded by industrial and academic sponsors who wish to contribute back to the community, and its main responsibilty is to spend those funds on actions that benefit the community as a whole.

The Foundation was created by the efforts of Michel Mauny⁰, launched in June 2018; I became its director in January 2019, working with an Executive Board containing Xavier Leroy, Damien Doligez, Yann Regis-Gianas and myself, taking ideas, advice and feedback from the excellent people representing our sponsors (Currently: ahrefs, Jane Street, OCamlPro, Tezos, Bloomberg, Lexifi and SimCorp).

Our website¹ lists a few of our recent actions, such as developing the Learn-OCaml teaching platform, funding Outreachy internships on OCaml, and funding video capture for OCaml Meetups. We have been asking around, whenever we meet people from the community, on how they would recommend using money to improve the community. We have been proposing ideas, working on suggestions from our sponsors and the general community; we are not very good at communication, we do more than we talk about. Of course, as a small organization led by volunteers working part-time, things can take a long time to get going – please be patient when you interact with us.

Our current objective is to reach a funding level of $200K per year, to be split between actions directed at "teaching OCaml"² and general OCaml actions. Once split among several important action areas, this is unfortunately not enough to employ someone full-time in a stable manner, but it can fund smaller actions that are more limited in time and scope. For example, I have been getting in touch with the maintainers of important bricks of the OCaml ecosystem, wondering about whether it’s possible to solidify the ecosystem by supporting their maintenance work where needed.

That’s it! I would be happy to answer questions and receive suggestions about the Foundation, in this thread or privately (by email at gabriel.scherer@gmail.com). If your company or institution is interested in a new way to give back to the OCaml community, please consider becoming a sponsor; we will do our best to spend this money in the general interest of the community.

⁰: Michel Mauny was one of the earliest adopters of Caml as a programming language; he did his PhD thesis on the Categorical Abstract Machine, which was the basis for the very first Caml implementation – before Caml Light and then OCaml.

¹: at the time I’m posting this, it is not a nice website; I built it in the last few weeks, and web design is not my forte.

²: Yann Regis-Gianas has been spear-heading efforts to turn the Learn-OCaml platform, originally developed by OCamlPro for the OCaml MOOC, into a versatile teaching platform with an open corpus of automatically-graded OCaml exercises. (We received specific additional support of the Tezos Foundation for this.) We are interested in supporting and promoting all forms of OCaml teaching, whether they use this technical platform or not (for example, Jupyter notebooks are also used for OCaml teaching).


Amazing news! Have you considered to add also the way for us, petty humans, to make a small donation for OCaml development? For example making the presence at OpenCollective which uses Stripe to handle the payments, so it allows almost everyone to donate, and some might want to consider to put a “bounty” to a specific issue/task.

P.S. It’s surprising to see Bloomberg as not a Platinum sponsor though…
P.P.S. You might want to add the progress bar showing the amount of money raised relative to your goal.


My understanding is that, for now, it would be too difficult/time-consuming for our administrative people to accept small donations. This is a question that gets asked from time to time, and I hope that someday we will be able to. In the meantime, I would encourage individuals to think about a few people who maintain software they rely on (in OCaml or otherwise), that are not currently employed by a company for this work (or in a stable contracting agreement), and inquire about funding them directly.

Re. bug bounties: I learned somewhat recently that some people and companies in the OCaml ecosystem (for example ahrefs, cc @Khady with which I discussed this) have used bug bounties to fund development in third-party tools they rely on. See for example:

Ahrefs (one of our sponsors) suggested to the foundation that we promote these “small tasks for pay” opportunities, but we have not had the time to do anything in that direction yet.


Thank you for the answer. One more question then - is it related to http://ocaml-sf.org/? Note, this one has an individual donations form. Was pointed at by @Armael in Why Facebook does not sponsor Multicore project?

Yes, this is the exact same Foundation – I haven’t updated the ocaml-sf.org URL yet but the intention is to have it point to the newer website.

I humbly suggest looking into setting up a Patreon account. A non-profit Maker Space in my town with an annual budget of $20k a year funds itself this way.

1 Like

I would like to see that. Our IT budget is tiny but we are going to become dependent on the OCaml ecosystem soon and I love the idea of having a centralized, up to date list of OCaml-related bounties that we could contribute to, across platforms (Bountysource being one).

1 Like

Speaking about bounties, I have a high hopes in the already mentioned OpenCollective. BountySource is effectively dead, while OpenCollective’s commit rate is quite high, and I suggested them to implement this feature too. Lets see how it unfolds.


I think creating the foundation is a nice step forward. Good luck with it!

A small question, if I may:
is the logo https://ocaml-sf.github.io/img/logo-ocsf.svg (the camel part) destined to replace the other logo at ocaml.org?
which one should we use to advertise ocaml?


  • the link to “The Learn-OCaml online excercise platform” is broken

The first logo you point to is the logo of the “OCaml Software Foundation” (OCSF; as specific non-profit with a mission, etc.); the second logo was designed to be the logo of the OCaml language (and, by extension, the OCaml community); so no, they do not represent the same thing, and one is not going to replace the other. People should use the OCSF logo when they want to support or acknowledge the Foundation specifically, but in most situations they probably mean to use the OCaml logo to publicize the language and community at large.

(Thanks for the broken links notice! I just fixed it.)

Have you seen the new github sponsor feature https://help.github.com/en/github/supporting-the-open-source-community-with-github-sponsors/about-github-sponsors I think it helps out with administrative donations. I have seen a limited set of projects using this already as a preview. Doesn’t that solve zero-cost accounting for the masses (small donators on per project basis )?

The legal setup of the foundation (which I was not involved with) is such that we have lawyer-type people make decisions about how we are allowed to spend and receive money. (I think the general reasoning is that we want to do things in ways that let companies to request tax breaks when they give us money, and that unless lawyers are involved this is easy to mess up and come back to bite you later.) As a consequence, we cannot “just” use various funding schemes that are easy for private developers to setup (“use Patreon”, “sign up for Github Sponsors”, etc.); we have to ask lawyers and be patient. (And of course most lawyers are inexperienced with these brand new crowdfunding schemes, so this takes more time than you would think.)

1 Like