Blog

The OCaml Planet RSS

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.

Type

All Article Video

Source

Tarides 227 Anil Madhavapeddy's Blog 221 Watch OCaml 204 Caml Weekly News 189 OCamlPro 170 Marc Elvers 148 Jane Street Tech Blog 124 MirageOS 79 Coq 78 Frama-C 76 Robur Cooperative 70 Caml INRIA 53 Jon Ludlam's Blog at recoil.org 53 Daniel Bünzli 42 David Allsopp's Blog 31

Keyword

opam 289 compiler 201 mirageos 197 dune 191 functional programming 163 unikernel 134 ppx 132 async 125 multicore 124 parser 118 functor 116 eio 115 odoc 115 merlin 106 domain 105 lwt 104 effect 103 monad 100 js_of_ocaml 90 concurrency 88 alpha 0

Year

2026 317 2025 434 2024 307 2023 245 2022 149 2021 197 2020 145 2019 118 2018 110 2017 103 2016 100 2015 107 2014 137 2013 99 2012 60 2011 52 2010 72 2009 35 2008 19 2007 9 2006 3 2005 4 2004 4 2003 2 2002 2

Author

Anil Madhavapeddy 235 Tarides 226 Unknown 213 Caml Weekly News 182 Mark Elvers 148 Jane Street Tech Blog 112 Coq 78 Frama-C 74 Jane Street 71 Robur Cooperative 70 Jon Ludlam 54 Caml INRIA 53 Daniel Bünzli 42 Bozhidar Batsov 28 Mathématiques et informatique - Collège de France 28

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.

Add your RSS feed!
Filtering by: Keyword: alpha (remove) Clear all
OCaml Weekly News, 31 Mar 2026

OCaml LSP alpha domainslib ortac-dune ortac-qcheck-stm ortac-wrapper parallelism qcheck-stm signature-help survey

31 Mar 2026

Caml Weekly News

Read Article
camel head illustration

[ARTICLE]
Space-filling curves, constructively

alpha cdot constructively curve gamma gamma_i hilbert square square-filling v_j

29 Jan 2024

Andrej Bauer

Read Article
camel head illustration

[ARTICLE]
Florian's OCaml compiler weekly, 5 June 2023

abi alpha compiler domain ibm non-allocating parser rate release second

05 Jun 2023

Gagallium

Read Article
camel head illustration

[ARTICLE]
OCaml Weekly News, 18 Apr 2023

alpha alpha1 flambda game nova4216 ocaml-option-flambda ocaml-option-no-flat-float-array ocaml-variants parser switch

18 Apr 2023

Caml Weekly News

Read Article
camel head illustration

[ARTICLE]
OCaml's Platform Installer Alpha Release

Yesterday we announced the OCaml 5 beta release, and today we're excited to introduce the OCaml Platform Installer! The OCaml Platform is…

alpha incubate installer lengthy notified obstacles ocamlformat odoc platform release

18 Oct 2022

Tarides

Read Article
The Burali-Forti argument in HoTT/UF

alpha burali-forti hset mathcal operatorname ordinal ordinals triangleleft univalence universe

22 Feb 2021

Andrej Bauer

Read Article
camel head illustration

[ARTICLE]
opam 2.1.0 alpha is here!

We are happy to announce a alpha for opam 2.1.0, one year and a half in the making after the release of 2.0.0. Many new features made it in (see the complete changelog or release note for the details), but here are a few highlights of this release. Release highlights The two following features have ...

alpha commands compiler curl dependencies depexts ocaml-system opam project_root sub_project

22 Apr 2020

OCamlPro

Read Article
Proving a mem/map property

Here are two well known "classic" functions over polymorphic lists. map f l computes a ne...

alpha class exist implies keywordsign map mem pre span sup

11 May 2017

Shayne Fletcher

Read Article
camel head illustration

[ARTICLE]
Third alpha version

alpha automatized bootstrap compiler enhanced ocamljava partially semi-stable site x9c

08 Jun 2015

OCaml-Java

Read Article
camel head illustration

[ARTICLE]
New alpha version

alpha automatized bootstrap compiler enhanced ocamljava partially semi-stable site x9c

22 Sep 2014

OCaml-Java

Read Article
camel head illustration

[ARTICLE]
1 2