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.

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.

Implementing an Echo Server in Coq with coqffi.1.0.0

In this article, we will demonstrate how coqffi can be used to implement an echo server, i.e., a TCP server which sends back any input it receives from its clients.

10 Dec 2020

Thomas Letan’s Blog

Read Article
Irmin v2

We are pleased to announce Irmin 2.0.0, a major release of the Git-like distributed branching and storage substrate that underpins MirageOS…

21 Nov 2019

Tarides

Read Article
OCamlFormat 0.8

We are proud to announce the release of OCamlFormat 0.8 (available on opam). To ease the transition from the previous 0.7 release here are…

17 Oct 2018

Tarides

Read Article
When Bash Scripts Bite

There are abundant resources online trying to scare programmers away from usingshell scripts. Most of them, if anything, succeed in convincing the reader tob...

11 May 2017

Jane Street Tech Blog

Read Article
Reverse web proxy in ~50 lines of BASH

In the spirit of reinventing the wheel for fun, I hacked this together as aquick challenge to myself last week. It’s a little rough around the edges, but Ith...

01 May 2015

Jane Street Tech Blog

Read Article