2020 at OCamlPro

In the World of OCaml

Flambda & Compilation Team

Opam, the OCaml Package Manager

Encouraging OCaml Adoption: Trainings and Resources for OCaml

Open Source Tooling and Libraries for OCaml

Supporting the OCaml Software Foundation


In the World of Formal Methods

Alt-Ergo Development

Alt-Ergo Users’ Club and R&D Projects

Alt-Ergo’s Roadmap

In the World of Rust

In the World of Blockchain Languages

Towards 2021




Read our articles at medium.com/ocamlpro

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Success Journey to Google Certified Associate Android Developer

Unix and Git

Kafka Producer/Consumer with Message key and offset

How to Install Bugzilla on CentOS 7

PearZap.com offer a MATIC faucet to all the community

Using Aliyun-CLI with Docker Very Easily

Creating a ROS or ROS2 workspace in Docker (Part 1)

When will DevOps Die? Part 1

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store


Read our articles at medium.com/ocamlpro

More from Medium

Disparate Discourses

How Real-Time Data Supports the Growth of Smart Transportation — Intertrust Technologies

CS373 Spring 2022: Blake Chambers — Blog 4

Substring Search using KMP (Knuth–Morris–Pratt) algorithm