Blog
The OCaml Planet
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
Learn what an operating system is and its evolving role.
Jaap (@JaapFrolich) is working at Walnut and maintainer of graphql-ppx If you'd like to support the show for more content about OCaml, Reason and ReScript you can now do so at https://www.patreon.com/emelletv or by sending any tez amount to em...
We spend a lot of time on education at Jane Street. Like, really alot.
Patrick (@ryyppy) is working with OSS in ReScript and part of the core team If you'd like to support the show for more content about OCaml, Reason and ReScript you can now do so at https://www.patreon.com/emelletv or by sending any tez amount ...
Adrien Champion adrien.champion@ocamlpro.com This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl...
In April, we announced that the DAPSI initiative accepted the proposal for our Secure-by-Design Communication Protocols (SCoP) project…
Learn OCaml: An Online Learning Center for OCaml, by Benjamin Canou, Grégoire Henry, Çagdas Bozman and Fabrice Le Fessant. We present Learn OCaml, a Web application that packs a set of learning activities for people who want to learn OCaml. It ...
The State of the OCaml Platform: September 2016 by Louis Gesbert, on behalf of the OCaml Platform team
What is new in OCaml 4.03? by Damien Doligez