OCaml Planet (older posts)

July 2019

• Jul 09, 2019, The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019 — OCamlPro
• Jul 09, 2019, Of Pythons and Camels — Jane Street
• Jul 08, 2019, Summer 2019 — Hannes Mehnert (hannes)
• Jul 05, 2019, i-Lab 2019 — Tarides (Céline Laplassotte)
• Jul 04, 2019, What is an explicit bijection? (FPSAC 2019 slides) — Andrej Bauer

June 2019

• Jun 27, 2019, Release of OCamlFormat 0.10 — Tarides (Guillaume Petiot)
• Jun 25, 2019, Learn Eliom - Graffiti tutorial updated — Ocsigen project (The Ocsigen Team)
• Jun 25, 2019, Learn Eliom - Graffiti tutorial updated — Ocsigen blog (The Ocsigen Team)
• Jun 21, 2019, Frama-C 19.0 (Potassium) is out. Download ithere. — Frama-C
• Jun 20, 2019, Coq 8.10+beta2 is out — Coq
• Jun 01, 2019, Moved to GitHub — OCamlCore Forge News (Jacques Garrigue)
• Jun 01, 2019, LablGTK moved to GitHub — OCamlCore Forge News (Jacques Garrigue)

May 2019

• May 20, 2019, Coq 8.9.1 is out — Coq
• May 15, 2019, Coq 8.10+beta1 is out — Coq
• May 13, 2019, Thoughts from AAAI 2019 — Jane Street
• May 13, 2019, On the road to Irmin v2 — Tarides (Thomas Gazagnaire)
• May 09, 2019, An introduction to OCaml PPX ecosystem — Tarides (Nathan Rebours)
• May 08, 2019, A course on homotopy (type) theory — Andrej Bauer
• May 06, 2019, 7th MirageOS hack retreat — Tarides (Charles-Edouard Lecat)

April 2019

• Apr 29, 2019, Blockchains @ OCamlPro: an Overview — OCamlPro
• Apr 26, 2019, MirageOS security advisory 02: mirage-xen < 3.3.0 — MirageOS (Thomas Leonard)
• Apr 18, 2019, will take place on June 3, 2019 in Paris. Registration and programhere. — Frama-C
• Apr 17, 2019, Learning ML Depth-First — Jane Street
• Apr 15, 2019, The Mirage retreat: field trip report — GaGallium (Gabriel Scherer)
• Apr 10, 2019, opam 2.0.4 release — OCamlPro
• Apr 10, 2019, opam 2.0.4 release — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)
• Apr 10, 2019, Dune 1.9.0 — Tarides (Lucas Pluvinage)
• Apr 03, 2019, MirageOS Spring 2019 hack retreat roundup — MirageOS (Hannes Mehnert)

March 2019

• Mar 29, 2019, OCaml on Baremetal Shakti RISC-V processor — KC Sivaramakrishnan
• Mar 29, 2019, Release of OCamlFormat 0.9 — Tarides (Guillaume Petiot)
• Mar 21, 2019, MirageOS security advisory 01: netchannel 1.10.0 — MirageOS (Mindy Preston)
• Mar 12, 2019, opam 2.0 tips — OCaml Platform (Louis Gesbert - OCamlPro)
• Mar 08, 2019, Announcing Liquidity version 1.0 — OCamlPro
• Mar 05, 2019, Announcing MirageOS 3.5.0 — MirageOS (Hannes Mehnert)
• Mar 05, 2019, Techelson, a test execution engine for Michelson — OCamlPro
• Mar 05, 2019, Signing Data for Smart Contracts — OCamlPro

February 2019

• Feb 28, 2019, Accelerating Self-Play Learning in Go — Jane Street
• Feb 28, 2019, Machining the ultimate hackathon prize — Jane Street
• Feb 12, 2019, Formal proof and analysis of an incremental cycle detection algorithm — GaGallium (Armaël Guéneau)
• Feb 11, 2019, What’s new for Alt-Ergo in 2018 ? Here is a recap ! — OCamlPro
• Feb 10, 2019, Learning a New Language — Gaius Hammond
• Feb 08, 2019, Release of Base64 — Tarides (Romain Calascibetta)
• Feb 04, 2019, Improving Tezos Storage : Gitlab branch for testers — OCamlPro
• Feb 02, 2019, Playing Atari Games with OCaml and Deep Reinforcement Learning — Jane Street

January 2019

• Jan 30, 2019, Improving Tezos Storage : update and beta-testing — OCamlPro
• Jan 29, 2019, Tezos and OCamlPro — OCamlPro
• Jan 29, 2019, L2 Regularization and Batch Norm — Jane Street
• Jan 28, 2019, opam 2.0.3 release — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)
• Jan 18, 2019, Deprecating file releases on the forge — OCamlCore Forge News (Sylvain Le Gall)
• Jan 18, 2019, Coq 8.9.0 is out — Coq
• Jan 15, 2019, Improving Tezos Storage — OCamlPro
• Jan 15, 2019, A tutorial for building web applications with Incr_dom — Jane Street
• Jan 03, 2019, How configurator reads C constants — Tarides (Etienne Millon)
• Jan 01, 2019, Using TLA+ to understand Xen vchan — Thomas Leonard

December 2018

• Dec 19, 2018, Virtual Libraries — Rudi Grinberg
• Dec 17, 2018, ocaml-http--migration-to-github — OCamlCore Forge News (Claudio Sacerdoti Coen)
• Dec 14, 2018, opam 2.0.2 release — OCamlPro
• Dec 12, 2018, opam 2.0.2 release — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)
• Dec 06, 2018, MirageOS, towards a smaller and safer OS — Tarides (Romain Calascibetta)
• Dec 05, 2018, Fixin' your automata — GaGallium (François Pottier)

November 2018

• Nov 29, 2018, Frama-C 18.0 (Argon) is out. Download ithere. — Frama-C
• Nov 26, 2018, Safely typing algebraic effects — GaGallium (Nathanaël Courant)
• Nov 21, 2018, An Introduction to Tezos RPCs: Signing Operations — OCamlPro
• Nov 15, 2018, An Introduction to Tezos RPCs: a Basic Wallet — OCamlPro
• Nov 14, 2018, Parser Construction With Menhir: A Couple Appetizers — GaGallium (François Pottier)
• Nov 08, 2018, First Open-Source Release of TzScan — OCamlPro
• Nov 06, 2018, Liquidity Tutorial: A Game with an Oracle for Random Numbers — OCamlPro
• Nov 02, 2018, Coq 8.9+beta1 is out — Coq
• Nov 01, 2018, forge.ocamlcore.org expected downtime on 2018-11-01 — OCamlCore Forge News (Sylvain Le Gall)
• Nov 01, 2018, forge.ocamlcore.org expected downtime on 2018-10-30 — OCamlCore Forge News (Sylvain Le Gall)

October 2018

• Oct 24, 2018, opam 2.0.1 is out! — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)
• Oct 19, 2018, ocaml-git 2.0 — Tarides (Romain Calascibetta)
• Oct 17, 2018, OCamlPro’s TZScan grant proposal accepted by the Tezos Foundation – joint press release — OCamlPro
• Oct 17, 2018, OCamlFormat 0.8 — Tarides (Guillaume Petiot)

September 2018

• Sep 27, 2018, OCaml Workshop 2018 — Tarides (Romain Calascibetta)
• Sep 26, 2018, Coq 8.8.2 is out — Coq
• Sep 26, 2018, How to shuffle a big dataset — Jane Street
• Sep 20, 2018, Deep learning experiments in OCaml — Jane Street
• Sep 19, 2018, opam 2.0.0 release and repository upgrade — OCamlPro
• Sep 18, 2018, opam 2.0.0 release and repository upgrade — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)
• Sep 13, 2018, Continuous Benchmarking & Call for Benchmarks — KC Sivaramakrishnan
• Sep 06, 2018, Dune 1.2.0 — Tarides (Etienne Millon)

August 2018

• Aug 25, 2018, How to implement type theory in an hour — Andrej Bauer
• Aug 21, 2018, Ann: A new ppx for tyre and new version of ppx_regexp | Drup's thingies — Gabriel Radanne
• Aug 06, 2018, What the interns have wrought, 2018 edition — Jane Street
• Aug 05, 2018, Extension Points - Ppxlib & Dune Update — Rudi Grinberg
• Aug 02, 2018, What’s coming in Dune 1.1.0? — Rudi Grinberg
• Aug 02, 2018, Last stretch! Repository upgrade and opam 2.0.0 roadmap — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)

July 2018

• Jul 29, 2018, Not-learning is a skill too — Gaius Hammond
• Jul 26, 2018, opam 2.0.0 RC4-final is out! — OCamlPro
• Jul 26, 2018, opam 2.0.0 RC4-final is out! — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)
• Jul 23, 2018, frama-clang 0.0.6, compatible with Frama-C 17 Chlorine is out. Download ithere. — Frama-C
• Jul 22, 2018, Algebraic effects and handlers at OPLSS 2018 — Andrej Bauer
• Jul 20, 2018, OCamlPro’s Tezos block explorer TzScan’s last updates — OCamlPro
• Jul 17, 2018, Station F — Tarides (Thomas Gazagnaire)
• Jul 10, 2018, OCaml 4.07.0 released — Caml INRIA
• Jul 09, 2018, Coq 8.8.1 is out — Coq

June 2018

• Jun 29, 2018, Plans for OCaml 4.08 — Jane Street
• Jun 22, 2018, opam 2.0.0 Release Candidate 3 is out! — OCaml Platform (Raja Boujbel - OCamlPro, Louis Gesbert - OCamlPro)
• Jun 12, 2018, Configurator Reborn — Rudi Grinberg
• Jun 10, 2018, Bucket Sort — Shayne Fletcher

May 2018

• May 31, 2018, Frama-C 17 - Chlorine is out. Download ithere. — Frama-C
• May 30, 2018, An OCaml quine | Drup's thingies — Gabriel Radanne
• May 23, 2018, OCaml Users in Paris (OUPS) — Tarides (Thomas Gazagnaire)
• May 23, 2018, MirageOS + Tezos funding — Tarides (Thomas Gazagnaire)
• May 22, 2018, opam 2.0.0 Release Candidate 2 is out! — OCamlPro
• May 22, 2018, simpl is less annoying than you think — GaGallium (Nathanaël Courant, Armaël Guéneau)
• May 22, 2018, opam 2.0.0 Release Candidate 2 is out! — OCaml Platform (Louis Gesbert - OCamlPro)
• May 20, 2018, Dijkstra's algorithm — Shayne Fletcher
• May 18, 2018, Irmin usability enhancements — Tarides (Zach Shipko)
• May 17, 2018, Invited lecture at ENS — Tarides (Thomas Gazagnaire)
• May 08, 2018, Ann: Regenerate | Drup's thingies — Gabriel Radanne
• May 04, 2018, Urgent problem with camlp5 7.03 and macOS OCaml 4.06.1 — OCaml Platform (David Allsopp)

April 2018

• Apr 23, 2018, Release of Alt-Ergo 2.2.0 — OCamlPro
• Apr 22, 2018, Repeatable exploratory programming — Jane Street
• Apr 20, 2018, Visiting the camels - MirageOS spring hack retreat 2018 — MirageOS (Stefanie Schirmer)
• Apr 18, 2018, The Bitcoin Piñata - no candy for you — Hannes Mehnert (hannes)
• Apr 17, 2018, Whacking the Bitcoin Piñata — Mindy Preston
• Apr 17, 2018, Coq 8.8.0 is out — Coq
• Apr 16, 2018, HotPOST'18 — Tarides (Thomas Gazagnaire)
• Apr 13, 2018, Taskforce on the Tezos Protocol, and Tzscan evolution — OCamlPro
• Apr 05, 2018, How to quantify quantifiers: an Ltac puzzle — GaGallium (Armaël Guéneau)
• Apr 04, 2018, OCaml all the way down — Jane Street
• Apr 01, 2018, OCaml JTRT — OCamlPro

March 2018

• Mar 27, 2018, Putting the I back in IDE: Towards a Github Explorer — Jane Street
• Mar 22, 2018, Announcing the Sound Static Analysis for Security Workshop (2018-06-27 and 28 at NIST). See the whole programhere. — Frama-C
• Mar 19, 2018, Coq 8.8+beta1 is out — Coq
• Mar 14, 2018, Release of Alt-Ergo 2.1.0 — OCamlPro

February 2018

• Feb 19, 2018, frama-clang 0.0.5, fixing compatibility issue with Debian/Ubuntu, is out. Download ithere. — Frama-C
• Feb 17, 2018, Coq 8.7.2 is out — Coq
• Feb 16, 2018, OCaml 4.06.1 released — Caml INRIA
• Feb 16, 2018, Learn OCaml in NYC — Jane Street
• Feb 15, 2018, Proofs (and Refutations) using Z3 — Jane Street
• Feb 14, 2018, An Architecture for Interspatial Communication — Tarides (Thomas Gazagnaire)
• Feb 02, 2018, opam 2.0.0 Release Candidate 1 is out! — OCaml Platform (Louis Gesbert)

January 2018

• Jan 26, 2018, MirageOS running on the ESP32 embedded chip — MirageOS (Anil Madhavapeddy)
• Jan 23, 2018, jbuilder (dune) Beta 17 — Rudi Grinberg
• Jan 11, 2018, My 2018 contains robur and starts with re-engineering DNS — Hannes Mehnert (hannes)
• Jan 09, 2018, MacOS package updated — Coq

December 2017

• Dec 23, 2017, Posts and Talks Elsewhere — Mindy Preston
• Dec 23, 2017, MirageOS Winter 2017 hack retreat roundup — MirageOS (Hannes Mehnert)
• Dec 21, 2017, frama-clang 0.0.4, compatible with Frama-C 16 is out. Download ithere. — Frama-C
• Dec 20, 2017, Work on the OCaml compiler at Jane Street! — Jane Street
• Dec 15, 2017, Coq 8.7.1 is out — Coq
• Dec 14, 2017, testing ocaml-migrate-parsetree with `ppx_deriving_crowbar` — OCaml Labs
• Dec 11, 2017, Spartan type theory — Andrej Bauer
• Dec 09, 2017, How to migrate your ppx to OCaml migrate parsetree — Shayne Fletcher
• Dec 04, 2017, Extension Points - 3 Years Later — Rudi Grinberg

November 2017

• Nov 28, 2017, Frama-C 16 - Sulfur is out. Download ithere. — Frama-C
• Nov 27, 2017, opam 2.0 Beta5 is out! — OCaml Platform (Louis Gesbert)
• Nov 21, 2017, Eighteenth OCaml compiler hacking evening at Pembroke, Cambridge — OCaml Labs compiler hacking
• Nov 21, 2017, Migration to GitHub is complete — Coq
• Nov 15, 2017, PhD Thesis: Tierless Web programming in ML | Drup's thingies — Gabriel Radanne
• Nov 11, 2017, Towers of Hanoi — Shayne Fletcher
• Nov 03, 2017, OCaml 4.06.0 released — Caml INRIA
• Nov 03, 2017, Creating Static Linux Binaries in OCaml — Rudi Grinberg

October 2017

• Oct 31, 2017, Does batch size matter? — Jane Street
• Oct 30, 2017, Windows Unicode Support - A Bug-Fix 12 Years in the Making — OCaml Labs
• Oct 29, 2017, How Jane Street Does Code Review (Jane Street Tech Talk) — Jane Street
• Oct 28, 2017, Nesting quoted strings in OCaml — Shayne Fletcher
• Oct 24, 2017, Fuzzing for CI Workflows — OCaml Labs
• Oct 19, 2017, Pearl No.4 - Kth Smallest in the Union of 2 Sorted Collections — Xinuo Chen
• Oct 17, 2017, Coq 8.7.0 is out — Coq
• Oct 14, 2017, How to render trees like the Unix tree command — Shayne Fletcher
• Oct 14, 2017, "More OCaml" updated to support OCaml 4.06 immutable strings — OCaml Book
• Oct 13, 2017, Implementing the PowerPC backend for BAP - Part 0 — The BAP Blog
• Oct 09, 2017, NAT your own packets — Mindy Preston
• Oct 06, 2017, Coq 8.7+beta2 is out — Coq
• Oct 03, 2017, The BAP Tutorial — The BAP Blog

September 2017

• Sep 27, 2017, Testing Your Own Fork With OCaml's GitHub CI — OCaml Labs
• Sep 26, 2017, Jane Street Tech Talk, Verifying Network Data Planes — Jane Street
• Sep 06, 2017, Coq 8.7 beta 1 is out — Coq
• Sep 04, 2017, Platforms, Packaging, Progress — OCaml Labs

August 2017

• Aug 28, 2017, Real world machine learning (part 1) — Jane Street
• Aug 25, 2017, How to design a tree diffing algorithm — Jane Street
• Aug 25, 2017, Merlin 3.0.0 on Windows — OCaml Labs
• Aug 24, 2017, Ironing out your development style — Jane Street
• Aug 23, 2017, Alleged "hack" of our site: just a spam — Coq
• Aug 17, 2017, Batteries 2.7.0 released — OCamlCore Forge News (Gabriel Scherer)
• Aug 16, 2017, Hiring an FPGA engineer — Jane Street
• Aug 14, 2017, What the interns have wrought, 2017 edition — Jane Street
• Aug 12, 2017, Transpose — Shayne Fletcher
• Aug 02, 2017, frama-clang 0.0.3, compatible with Frama-C 15 is out. Download ithere. — Frama-C

July 2017

• Jul 27, 2017, A New Implementation of Git — OCaml Labs
• Jul 25, 2017, Coq 8.6.1 is out — Coq
• Jul 25, 2017, Monadic Generators in OCaml — Rudi Grinberg
• Jul 19, 2017, Major Releases of Cohttp, Conduit, DNS and TCP/IP Libraries — OCaml Labs
• Jul 13, 2017, OCaml EFL 1.19.0 released and migration to GitHub — OCamlCore Forge News (Alexis Bernadet)
• Jul 13, 2017, OCaml 4.05.0 released — Caml INRIA
• Jul 13, 2017, OCaml 4.05.0 Released — OCaml Labs
• Jul 10, 2017, Albatross - provisioning, deploying, managing, and monitoring virtual machines — Hannes Mehnert (hannes)
• Jul 03, 2017, How I found a bug in Intel Skylake processors — GaGallium (Xavier Leroy)

June 2017

• Jun 26, 2017, Intel Hyper-Threading Bug Uncovered by OCaml Developers — OCaml Labs
• Jun 23, 2017, OCaml 4.04.2 released — Caml INRIA
• Jun 21, 2017, Unicode 10.0.0 refresh — Daniel Bünzli
• Jun 14, 2017, deprecating opam 1.2.0 — OCaml Platform (Anil Madhavapeddy, Louis Gesbert)
• Jun 04, 2017, New in libguestfs: Rewriting bits of the daemon in OCaml — Richard Jones

May 2017

• May 30, 2017, Frama-C 15 - Phosphorus is out. Download ithere. — Frama-C
• May 29, 2017, A modular formalization of type theory in Coq — Andrej Bauer
• May 22, 2017, More type classes in OCaml — Shayne Fletcher (Unknown)
• May 19, 2017, OCaml Compiler Hacking May 2017 - Activity Summaries — Gemma Gordon (OCaml Labs)
• May 14, 2017, Cohttp Packaging Breakage Ahead — Rudi Grinberg
• May 11, 2017, Proving a mem/map property — Shayne Fletcher
• May 11, 2017, When Bash Scripts Bite — Jane Street
• May 11, 2017, new opam features: more expressive dependencies — OCaml Platform (Louis Gesbert)
• May 04, 2017, Preprocessor extensions for code generation — Shayne Fletcher
• May 04, 2017, new opam features: "opam install " — OCaml Platform (Louis Gesbert)
• May 01, 2017, Looking for a technical writer — Jane Street

April 2017

• Apr 30, 2017, What do you mean ExceptT doesn't Compose? — Erik de Castro Lopo
• Apr 27, 2017, new opam features: local switches — OCaml Platform (Louis Gesbert)
• Apr 26, 2017, Crowbar Your Favorite Library for Fun and Bugfixes — Mindy Preston
• Apr 25, 2017, Caveat Configurator: how to replace configs with code, and why you might not want to — Jane Street
• Apr 22, 2017, Optional Dependencies Considered Harmful — Rudi Grinberg
• Apr 20, 2017, Announcing the upcoming Frama-C & SPARK Day 2017. — Frama-C
• Apr 20, 2017, This is not the performance you were looking for: the tricks systems play on us — Jane Street
• Apr 18, 2017, Seventeenth OCaml compiler hacking evening at Pembroke — OCaml Labs compiler hacking
• Apr 17, 2017, News about Tyre | Drup's thingies — Gabriel Radanne
• Apr 15, 2017, MirageOS March 2017 hack retreat roundup — MirageOS (Hannes Mehnert)
• Apr 14, 2017, OCaml 4.04.1 released — Caml INRIA
• Apr 05, 2017, Version 0.0.2 of the Frama-Clang plugin plugin is available for download. — Frama-C
• Apr 01, 2017, Ann: Pumping | Drup's thingies — Gabriel Radanne

March 2017

• Mar 30, 2017, Dealing with source code locations (in lexical and syntax analysis) — Shayne Fletcher
• Mar 27, 2017, Databox Open-Source Software Community Launch — Gemma Gordon (OCaml Labs)
• Mar 21, 2017, Polynomials over rings — Shayne Fletcher
• Mar 20, 2017, Trivial meta-programming with cinaps — Jane Street
• Mar 16, 2017, new opam features: "opam build" — OCaml Platform (Louis Gesbert)
• Mar 15, 2017, One more talk, two more videos — Jane Street
• Mar 14, 2017, From visitors to iterators — GaGallium (François Pottier)
• Mar 10, 2017, Universal type — Shayne Fletcher
• Mar 10, 2017, My OCaml Collection — Gemma Gordon (OCaml Labs)
• Mar 07, 2017, Polymorphic variants : Subtyping and variance — Shayne Fletcher
• Mar 07, 2017, Wontfix Cabal by Maintainerati — Gemma Gordon (OCaml Labs)
• Mar 06, 2017, Easy distributed analytics with Irmin 1.0 — MirageOS (Thomas Gazagnaire)
• Mar 05, 2017, Building and Publishing an OCaml Package: Q1 2017 — KC Sivaramakrishnan
• Mar 01, 2017, Adding the Qubes target to Mirage — MirageOS (Mindy Preston)

February 2017

• Feb 28, 2017, What a Jane Street software engineering interview is like — Jane Street
• Feb 27, 2017, 10 — Daniel Bünzli
• Feb 27, 2017, Size matters: how Mirage got smaller and less magical — MirageOS (Hannes Mehnert)
• Feb 23, 2017, Announcing MirageOS 3.0.0 — MirageOS (Mindy Preston)
• Feb 16, 2017, Conex, establish trust in community repositories — Hannes Mehnert (hannes)
• Feb 16, 2017, Who maintains package X? — Hannes Mehnert (hannes)
• Feb 16, 2017, Jane Street Tech Talks: Verifying Puppet Configs — Jane Street
• Feb 15, 2017, Ezirmin : An easy interface to the Irmin library — KC Sivaramakrishnan
• Feb 10, 2017, OCaml Compiler Hacking Feb 2017 - Activity Summaries — Gemma Gordon (OCaml Labs)
• Feb 09, 2017, Ocsigen Start and Ocsigen Toolkit reach 1.0! — Ocsigen project (The Ocsigen Team)
• Feb 09, 2017, Ocsigen Start and Ocsigen Toolkit reach 1.0! — Ocsigen blog (The Ocsigen Team)
• Feb 09, 2017, opam 2.0 Beta is out! — OCaml Platform (Louis Gesbert)
• Feb 07, 2017, A new blog on the radar! — GaGallium (Jonathan Protzenko)
• Feb 06, 2017, News on the Eliom language — Ocsigen project (Gabriel `Drup` Radanne)
• Feb 06, 2017, News on the Eliom language — Ocsigen blog (Gabriel `Drup` Radanne)
• Feb 06, 2017, Searching the load-path — Rudi Grinberg
• Feb 01, 2017, NaBoMaMo 2016 writeup — Etienne Millon

January 2017

• Jan 30, 2017, Jackline, a secure terminal-based XMPP client — Hannes Mehnert (hannes)
• Jan 29, 2017, OASIS-DB sub-project is deprecated. — OCamlCore Forge News (Sylvain Le Gall)
• Jan 25, 2017, gesticulations 001 — Daniel Bünzli (log)
• Jan 24, 2017, Sixteenth OCaml compiler hacking evening at Pembroke — OCaml Labs compiler hacking
• Jan 18, 2017, MirageOS Fortnightly IRC Call Feedback — Gemma Gordon (OCaml Labs)
• Jan 17, 2017, Version 0.8 of the E-ACSL 0.8 plugin is available for download. — Frama-C
• Jan 17, 2017, Docker joins the Caml Consortium — Caml INRIA
• Jan 14, 2017, Spacemacs Useful Buffers Gotcha — Rudi Grinberg
• Jan 11, 2017, How to Build an Exchange — Jane Street
• Jan 09, 2017, A brief trip through Spacetime — Jane Street
• Jan 06, 2017, Lwt 2.7.0 — Ocsigen project (Anton Bachin)
• Jan 06, 2017, Lwt 2.7.0 — Ocsigen blog (Anton Bachin)

December 2016

• Dec 30, 2016, Deprecating the Forge in 2017 — OCamlCore Forge News (Sylvain Le Gall)
• Dec 23, 2016, Pretty Printing a Table in Emacs — Rudi Grinberg
• Dec 17, 2016, vile 9.8s — Marc Simpson
• Dec 14, 2016, Coq 8.6 is out — Coq
• Dec 13, 2016, OSS Repository Maintenance and Management — Gemma Gordon (OCaml Labs)
• Dec 12, 2016, Eliom 6.0: mobile and Web apps in OCaml — Ocsigen project (The Ocsigen Team)
• Dec 12, 2016, Eliom 6.0: mobile and Web apps in OCaml — Ocsigen blog (The Ocsigen Team)
• Dec 08, 2016, Coq 8.6 rc 1 is out — Coq
• Dec 01, 2016, The Silicon 20161101 release of Frama-C is available. — Frama-C

November 2016

• Nov 30, 2016, Mirage Logo Fun — Gemma Gordon (OCaml Labs)
• Nov 23, 2016, Unicode 9.0.0 refresh — Daniel Bünzli
• Nov 21, 2016, opam-lib 1.3 available — OCaml Platform (Louis Gesbert)
• Nov 19, 2016, OCaml 4.04, RISC-V, S/390, POWER and more … — Richard Jones
• Nov 19, 2016, Coq 8.6 beta 1 is out — Coq
• Nov 18, 2016, CUCL Recruitment Fair 2016 — Gemma Gordon (OCaml Labs)
• Nov 17, 2016, Irmin 0.12 with portable filesystem watching released — MirageOS (Thomas Gazagnaire)
• Nov 16, 2016, Hack Event Nov 2016 - Activity Update — Gemma Gordon (OCaml Labs)
• Nov 08, 2016, A solution to the ppx versioning problem — Jane Street
• Nov 05, 2016, Exfiltrating log data using syslog — Hannes Mehnert (hannes)
• Nov 04, 2016, OCaml 4.04.0 released — Caml INRIA
• Nov 01, 2016, Fifteenth OCaml compiler hacking evening at Pembroke — OCaml Labs compiler hacking

October 2016

• Oct 29, 2016, Implementing type-classes as OCaml modules — Shayne Fletcher
• Oct 27, 2016, Coq 8.5pl3 is out — Coq
• Oct 27, 2016, Observations of a functional programmer — Jane Street
• Oct 26, 2016, Haskell type-classes in OCaml and C++ — Shayne Fletcher
• Oct 12, 2016, Monty Hall — Shayne Fletcher
• Oct 05, 2016, Conversion operations of the lambda-calculus — Shayne Fletcher

September 2016

• Sep 29, 2016, Asetmap, Bos, Hmap and Webbrowser — Daniel Bünzli
• Sep 29, 2016, Topkg — Daniel Bünzli
• Sep 29, 2016, Odig 0.0.1 — Daniel Bünzli
• Sep 27, 2016, The fixpoint combinator — Shayne Fletcher
• Sep 20, 2016, Custom operators in OCaml — Shayne Fletcher
• Sep 20, 2016, opam 2.0 preview release! — OCaml Platform (Louis Gesbert)
• Sep 13, 2016, What the interns have wrought, 2016 — Jane Street

August 2016

• Aug 31, 2016, Unraveling of the tech hiring market — Jane Street
• Aug 30, 2016, Do you love dev tools? Come work at Jane Street. — Jane Street
• Aug 27, 2016, Balanced binary search trees — Shayne Fletcher
• Aug 12, 2016, Ann: Typed regular expressions | Drup's thingies — Gabriel Radanne
• Aug 09, 2016, Kernelyze LLC joins the Caml Consortium — Caml INRIA
• Aug 02, 2016, Typing Tricks: Diff lists | Drup's thingies — Gabriel Radanne

July 2016

• Jul 28, 2016, vile 9.8r — Marc Simpson
• Jul 22, 2016, Free Monads in the Wild - OCaml Edition — Rudi Grinberg
• Jul 18, 2016, MirageOS Summer 2016 hack retreat roundup — MirageOS (Gemma Gordon)
• Jul 12, 2016, Re-engineering ARP — Hannes Mehnert (hannes)
• Jul 11, 2016, Coq 8.5pl2 is out — Coq
• Jul 04, 2016, The first version of the Frama-Clang plugin, an experimental C++ front-end for Frama-C, is available. — Frama-C

June 2016

• Jun 30, 2016, Behavioural types — KC Sivaramakrishnan
• Jun 29, 2016, MirageOS Summer 2016 hack retreat announcement, and talk roundup — MirageOS (Gemma Gordon)
• Jun 26, 2016, Fourteenth OCaml compiler hacking evening at Citrix — OCaml Labs compiler hacking
• Jun 21, 2016, Let syntax, and why you should use it — Jane Street
• Jun 17, 2016, Generic mappings over pairs — Shayne Fletcher
• Jun 02, 2016, OCaml Update June 2016 — Rudenoise

May 2016

• May 31, 2016, The Aluminium 20160501 release of Frama-C is available. — Frama-C
• May 23, 2016, ppx_core: context-free rewriters for better semantics and faster compilation — Jane Street
• May 20, 2016, Thirteenth OCaml compiler hacking evening at Pembroke College — OCaml Labs compiler hacking
• May 20, 2016, TyXML 4.0.0 — Ocsigen project (The Ocsigen Team)
• May 20, 2016, TyXML 4.0.0 — Ocsigen blog (The Ocsigen Team)
• May 13, 2016, Tail call optimisation in (g)awk — Marc Simpson
• May 12, 2016, Ahrefs joins the Caml Consortium — Caml INRIA
• May 04, 2016, MirageOS Spring 2016 hack retreat! — MirageOS (Gemma Gordon)
• May 03, 2016, MirageOS security advisory 00: mirage-net-xen — MirageOS (Hannes Mehnert)

April 2016

• Apr 25, 2016, OCaml 4.03.0 released — Caml INRIA
• Apr 21, 2016, Oh! Pascal! — Shayne Fletcher
• Apr 15, 2016, Facebook joins the Caml Consortium — Caml INRIA
• Apr 14, 2016, Announcing the upcoming Frama-C Day 2016. — Frama-C
• Apr 13, 2016, Dictionaries as functions — Shayne Fletcher
• Apr 10, 2016, Coq 8.5pl1 is out — Coq
• Apr 03, 2016, C++ : Streams — Shayne Fletcher

March 2016

• Mar 30, 2016, Ocsigen: step by step tutorial for client-server Web application (2/2) — Ocsigen project (Ocsigen team)
• Mar 30, 2016, Ocsigen: step by step tutorial for client-server Web application (2/2) — Ocsigen blog (Ocsigen team)
• Mar 17, 2016, A Machine Made this Book: Ten Sketches of Computer Science — OCaml Book
• Mar 15, 2016, Ocsigen: step by step tutorial for client-server Web application (1/2) — Ocsigen project (Vincent Balat)
• Mar 15, 2016, Ocsigen: step by step tutorial for client-server Web application (1/2) — Ocsigen blog (Vincent Balat)
• Mar 09, 2016, Seven Implementations of Incremental — Jane Street
• Mar 03, 2016, OCaml Diary, Part 4b — Rudenoise
• Mar 01, 2016, OCaml 4.03: Everything else — Jane Street

February 2016

• Feb 29, 2016, Introducing Functoria — MirageOS (Gabriel Radanne)
• Feb 26, 2016, Publishing an OPAM Package - a Checklist — Rudi Grinberg
• Feb 25, 2016, OCaml/MirageOS Diary, Part 4a — Rudenoise
• Feb 24, 2016, A better inliner for OCaml, and why it matters — Jane Street
• Feb 22, 2016, Ocsigen: client-server widgets — Ocsigen project (Vincent Balat)
• Feb 22, 2016, Ocsigen: client-server widgets — Ocsigen blog (Vincent Balat)
• Feb 19, 2016, OCaml/MirageOS Diary, Week 3 — Rudenoise
• Feb 18, 2016, Twenty-Four Puzzle OCaml iOS App — Psellos
• Feb 15, 2016, Scrap your Camlp4 — Rudi Grinberg
• Feb 10, 2016, Self Adjusting DOM and Diffable Data — Jane Street
• Feb 09, 2016, Twelth OCaml compiler hacking evening at Pembroke College — OCaml Labs compiler hacking
• Feb 08, 2016, OCaml Diary, Week 1 — Rudenoise
• Feb 08, 2016, OCaml Diary, Week 2 — Rudenoise
• Feb 08, 2016, Ocsigen, the basics — Ocsigen project (Vincent Balat)
• Feb 08, 2016, Ocsigen, the basics — Ocsigen blog (Vincent Balat)
• Feb 06, 2016, Self Adjusting DOM — Jane Street
• Feb 04, 2016, Library authors: Don't forget the examples! — Dario Teixeira
• Feb 01, 2016, January 2016 Ocsigen releases — Ocsigen project (The Ocsigen team)
• Feb 01, 2016, January 2016 Ocsigen releases — Ocsigen blog (The Ocsigen team)

January 2016

• Jan 30, 2016, OCaml on iOS Example Apps — Psellos
• Jan 30, 2016, Incremental computation and the web — Jane Street
• Jan 26, 2016, WE programming project: XKCD keyword index — David Mentré
• Jan 25, 2016, Why OCaml? — Jane Street
• Jan 24, 2016, BIL Visitors and Mappers — The BAP Blog
• Jan 23, 2016, OCaml for iOS Bug Fix Releases — Psellos
• Jan 21, 2016, Coq 8.5 is out! — Coq
• Jan 19, 2016, OCaml for iOS Simulator 8 or 9 — Psellos
• Jan 18, 2016, New open positions in the Frama-C team. — Frama-C
• Jan 18, 2016, BAP Memory — The BAP Blog
• Jan 15, 2016, OCaml for iOS 9.2 — Psellos
• Jan 15, 2016, The Magnesium 20151002 release of Frama-C is available. — Frama-C
• Jan 15, 2016, HardCaml Framework, Examples and Webapps — Andy Ray
• Jan 10, 2016, BAP Graph Library — The BAP Blog
• Jan 08, 2016, Half-baked ideas: C strings with implicit length field — Richard Jones
• Jan 07, 2016, Run Mirage Unikernels on KVM/QEMU with Solo5 — MirageOS (Dan Williams)
• Jan 01, 2016, MirageOS hack retreat — MirageOS (Hannes Mehnert)
• Jan 01, 2016, A Unikernel Firewall for QubesOS — Thomas Leonard

December 2015

• Dec 29, 2015, Introducing Charrua — a DHCP implementation — MirageOS (Christiano Haesbaert)
• Dec 24, 2015, Astring, Fmt, Logs, Ptime, Mtime, Rresult — Daniel Bünzli
• Dec 17, 2015, Unikernel.org — MirageOS (Amir Chaudhry)
• Dec 02, 2015, Testing with expectations — Jane Street

November 2015

• Nov 26, 2015, A Quick Guide to Quick Changes in MirageOS — Mindy Preston
• Nov 24, 2015, Eleventh OCaml compiler hacking evening at Pembroke College — OCaml Labs compiler hacking
• Nov 22, 2015, Visualise Randomness — Xinuo Chen
• Nov 16, 2015, Forgive me Curry and Howard for I have Sinned. — Erik de Castro Lopo
• Nov 11, 2015, Coq 8.5 beta 3 is out! — Coq
• Nov 11, 2015, Coq 8.5 rc 1 is out! — Coq
• Nov 03, 2015, CodeMesh 2015 — Amir Chaudhry

October 2015

• Oct 29, 2015, On-the-fly lexer switching with Menhir — Dario Teixeira
• Oct 29, 2015, SAT solving and HardCaml — Andy Ray
• Oct 27, 2015, Profiling the stack — KC Sivaramakrishnan
• Oct 26, 2015, Quickcheck for Core — Jane Street
• Oct 23, 2015, Videos from around the world! — MirageOS (Amir Chaudhry)
• Oct 15, 2015, Getting Started Screencasts — MirageOS (Amir Chaudhry)
• Oct 07, 2015, OCaml Workshop and Strange Loop Talks — Mindy Preston
• Oct 07, 2015, rsync rounds timestamps to the nearest second — Jane Street
• Oct 07, 2015, TodoMVC: a reactive version — Ocsigen project (Stéphane Legrand)
• Oct 07, 2015, TodoMVC: a reactive version — Ocsigen blog (Stéphane Legrand)

September 2015

• Sep 23, 2015, An Allocation Profiler for OCaml Bytecode Interpreter — KC Sivaramakrishnan
• Sep 18, 2015, Governance of OCaml.org — Amir Chaudhry
• Sep 10, 2015, Experiment with OCaml Multicore and Algebraic Effects — KC Sivaramakrishnan

August 2015

• Aug 20, 2015, Tenth OCaml compiler hacking evening and OCaml/ML talks — OCaml Labs compiler hacking
• Aug 19, 2015, No (functional) experience required — Jane Street
• Aug 17, 2015, Announcing Lambdoc 1.0-beta4 — Dario Teixeira
• Aug 17, 2015, Summer Ocsigen releases — Ocsigen project (Gabriel Radanne)
• Aug 17, 2015, Summer Ocsigen releases — Ocsigen blog (Gabriel Radanne)
• Aug 16, 2015, Just-in-Time Summoning of Unikernels (v0.2) — Magnus Skjegstad
• Aug 16, 2015, ocaml ffi bindings — Perpetually Curious (Tim McGilchrist)
• Aug 14, 2015, Dynamic records and enumerators: Open-sourcing OCaml libraries — Cryptosense

July 2015

• Jul 29, 2015, Welcome to the Ocsigen Blog! — Ocsigen project (The Ocsigen Team)
• Jul 29, 2015, Welcome to the Ocsigen Blog! — Ocsigen blog (The Ocsigen Team)
• Jul 27, 2015, Fun with Opam: Advice to my Past Self — Mindy Preston
• Jul 27, 2015, OCaml 4.02.3 released — Caml INRIA
• Jul 22, 2015, Organized chaos: managing randomness — MirageOS (David Kaloper)
• Jul 21, 2015, Building the LLVM Fuzzer on Debian. — Erik de Castro Lopo
• Jul 18, 2015, Introducing Incremental — Jane Street
• Jul 08, 2015, Converting a code base from camlp4 to ppx — Jane Street
• Jul 07, 2015, Easy HTTPS Unikernels with mirage-seal — MirageOS (Mindy Preston)
• Jul 04, 2015, Unikernels at PolyConf! — Amir Chaudhry

June 2015

• Jun 29, 2015, Reviewing the Bitcoin Pinata — MirageOS (Hannes Mehnert)
• Jun 26, 2015, MirageOS v2.5 with full TLS support — MirageOS (Amir Chaudhry)
• Jun 26, 2015, Why OCaml-TLS? — MirageOS (Amir Chaudhry)
• Jun 23, 2015, Opportunity — Gerd Stolpmann
• Jun 23, 2015, PlasmaFS — Gerd Stolpmann
• Jun 23, 2015, After NoSQL there will be NoServer — Gerd Stolpmann
• Jun 23, 2015, Plasma Map/Reduce Slightly Faster Than Hadoop — Gerd Stolpmann
• Jun 23, 2015, GODI is shutting down — Gerd Stolpmann
• Jun 23, 2015, Welcome IPv6 — Gerd Stolpmann
• Jun 23, 2015, Immutable strings in OCaml-4.02 — Gerd Stolpmann
• Jun 23, 2015, OMake On Steroids (Part 3) — Gerd Stolpmann
• Jun 22, 2015, CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDB — Thomas Leonard
• Jun 19, 2015, New in nbdkit 1.1.10: OCaml plugins — Richard Jones
• Jun 19, 2015, OMake On Steroids (Part 2) — Gerd Stolpmann
• Jun 17, 2015, Release of Uucd 3.0.0, Uucp 1.0.0, Uunf 1.0.0 and Uuseg 0.9.0 — Daniel Bünzli
• Jun 17, 2015, OCaml 4.02.2 released — Caml INRIA
• Jun 16, 2015, OMake On Steroids (Part 1) — Gerd Stolpmann
• Jun 08, 2015, Third alpha version — OCaml-Java (Xavier Clerc)
• Jun 05, 2015, Release E-ACSL 0.5 is available. — Frama-C
• Jun 05, 2015, Signing the OPAM repository — OCaml Platform (Louis Gesbert, Hannes Mehnert)
• Jun 03, 2015, Aesthetic Integration joins the Caml Consortium — Caml INRIA

May 2015

• May 27, 2015, Pearls of Algebraic Effects and Handlers — KC Sivaramakrishnan
• May 23, 2015, On the book « More OCaml » — Daniel Bünzli
• May 20, 2015, Effective Concurrency with Algebraic Effects — KC Sivaramakrishnan
• May 20, 2015, First month of Haskell — Perpetually Curious (Tim McGilchrist)
• May 18, 2015, Sliding Tile OCaml iOS App — Psellos
• May 15, 2015, Unreliable guide to OCaml modules — Perpetually Curious (Tim McGilchrist)
• May 07, 2015, OPAM 1.2.2 Released — OCaml Platform (Louis Gesbert)
• May 05, 2015, Permutations — Xinuo Chen
• May 05, 2015, CPU Registers and OCaml — Jane Street
• May 01, 2015, Reverse web proxy in ~50 lines of BASH — Jane Street

April 2015

• Apr 29, 2015, Gamut Redivivus: OCaml App in iOS Simulator — Psellos
• Apr 28, 2015, CueKeeper: Gitting Things Done in the browser — Thomas Leonard
• Apr 24, 2015, What a Distributed, Version-Controlled ARP Cache Gets You — Mindy Preston
• Apr 22, 2015, Coq 8.5 beta 2 is out! — Coq
• Apr 10, 2015, Building a lower-latency GC — Jane Street
• Apr 09, 2015, Coq 8.4pl6 is out — Coq
• Apr 09, 2015, Faster OCaml to C calls — Jane Street
• Apr 09, 2015, First steps in mirage | Drup's thingies — Gabriel Radanne
• Apr 05, 2015, Ideal finger 001 — Daniel Bünzli (log)
• Apr 03, 2015, Towards Heroku for Unikernels: Part 2 - Self Scaling Systems — Amir Chaudhry
• Apr 02, 2015, Let's Play Network Address Translation: The Home Game — Mindy Preston
• Apr 01, 2015, Reviewing the second year of OCaml Labs in 2014 — Anil Madhavapeddy

March 2015

• Mar 31, 2015, Pearl No.3 - Saddleback Search — Xinuo Chen
• Mar 31, 2015, Towards Heroku for Unikernels: Part 1 - Automated deployment — Amir Chaudhry
• Mar 30, 2015, PKCS#11 Compliance Testing: Caml Crush — Cryptosense
• Mar 30, 2015, Announcing Lambdoc 1.0-beta3 — Dario Teixeira
• Mar 30, 2015, Why GADTs matter for performance — Jane Street
• Mar 25, 2015, Opam Switch to Multicore OCaml — KC Sivaramakrishnan
• Mar 25, 2015, A unikernel experiment: A VM for every URL — Magnus Skjegstad
• Mar 23, 2015, Mini Cloud/Cluster v2.0 — Richard Jones
• Mar 21, 2015, A lighter Core — Jane Street
• Mar 18, 2015, Binomial Heap — Xinuo Chen
• Mar 18, 2015, OPAM 1.2.1 Released — OCaml Platform (Louis Gesbert)
• Mar 13, 2015, Heap - Leftist Tree — Xinuo Chen
• Mar 06, 2015, Release Sodium 20150201 is available. — Frama-C
• Mar 04, 2015, Centralizing distributed version control, revisited — Jane Street
• Mar 04, 2015, Compiling ARM binaries for use with BAP — The BAP Blog

February 2015

• Feb 21, 2015, Pearl No.2 - The Max Number of Surpassers — Xinuo Chen
• Feb 20, 2015, Improving the OCaml documentation toolchain — OCaml Platform
• Feb 18, 2015, ICFP 2015 - a call for sponsorship and how you can help — Anil Madhavapeddy
• Feb 18, 2015, Why we use OPAM for XenServer development — OCaml Platform (Dave Scott)
• Feb 13, 2015, CUFP 2015 Call for Presentations — CUFP
• Feb 11, 2015, The E-ACSL 0.6 plugin is available for download. — Frama-C
• Feb 10, 2015, Smash the Bitcoin Pinata for fun and profit! — MirageOS (Amir Chaudhry)
• Feb 10, 2015, The Bitcoin Piñata! — Amir Chaudhry
• Feb 06, 2015, Unikernel demo at FOSDEM — Amir Chaudhry
• Feb 05, 2015, Ninth OCaml compiler hacking evening (back in the lab, with a talk from Oleg) — OCaml Labs compiler hacking
• Feb 05, 2015, South of England Regional Programming Language Seminar (S-REPLS) — OCaml Labs compiler hacking
• Feb 02, 2015, Pearl No.1 - The Min Missing Natural Number — Xinuo Chen

January 2015

• Jan 31, 2015, Making making better — Jane Street
• Jan 25, 2015, Further OCaml GC Disharmony — Psellos
• Jan 25, 2015, Recursive Memoize & Untying the Recursive Knot — Xinuo Chen
• Jan 23, 2015, Installing OCaml for MacOS Noobie! — Yan Shvartzshnaider (Unknown)
• Jan 21, 2015, Coq 8.5 beta 1 is out! — Coq
• Jan 21, 2015, Securing the Unikernel — Thomas Leonard
• Jan 21, 2015, Mutable — Xinuo Chen
• Jan 20, 2015, Brewing MISO to serve Nymote — Amir Chaudhry
• Jan 20, 2015, Annonce of the upcoming first Frama-C Day. — Frama-C
• Jan 19, 2015, Unikernels for everyone! — Amir Chaudhry
• Jan 19, 2015, Local MirageOS development with Xen and Virtualbox — Magnus Skjegstad
• Jan 15, 2015, Lenses in OCaml — Perpetually Curious (Tim McGilchrist)
• Jan 08, 2015, Towards a governance framework for OCaml.org — Amir Chaudhry
• Jan 06, 2015, Omegle in N2O — Rudi Grinberg
• Jan 02, 2015, Immutable — Xinuo Chen
• Jan 02, 2015, 13 Virtues — Jane Street

December 2014

• Dec 31, 2014, MirageOS 2014 review: IPv6, TLS, Irmin, Jitsu and community growth — MirageOS (Anil Madhavapeddy)
• Dec 28, 2014, 2014 — Gaius Hammond
• Dec 23, 2014, Uuseg 0.8.0 — Daniel Bünzli
• Dec 19, 2014, OCaml 4.01 for iOS 8 Simulator — Psellos
• Dec 19, 2014, Become a BST Ninja - Genin Level — Xinuo Chen
• Dec 18, 2014, OPAM 1.2 and Travis CI — OCaml Platform (Thomas Gazagnaire)
• Dec 14, 2014, OCaml App for iOS 8.1 (Sources) — Psellos
• Dec 13, 2014, Type Safe Routing - Baby Steps — Rudi Grinberg
• Dec 11, 2014, Abandoning Async — Rudi Grinberg
• Dec 09, 2014, OCaml 4.01 for iOS 8 — Psellos
• Dec 04, 2014, OCaml, Objective C, Rule 4 — Psellos
• Dec 04, 2014, Recursion Reloaded — Xinuo Chen
• Dec 04, 2014, BAP Plugins — The BAP Blog
• Dec 04, 2014, BAP Executable Parsers — The BAP Blog
• Dec 01, 2014, Inspecting the Environment of a Running Process — Jane Street

November 2014

• Nov 26, 2014, Height, Depth and Level of a Tree — Xinuo Chen
• Nov 20, 2014, Menhir — Yan Shvartzshnaider (Unknown)
• Nov 18, 2014, Cmdliner 0.9.6 — Daniel Bünzli
• Nov 17, 2014, How to choose a teaching language — Jane Street
• Nov 13, 2014, The Magic of Thunk - Async — Xinuo Chen
• Nov 13, 2014, "Good news, everyone!" - OCaml.org teaching page is live! — Yan Shvartzshnaider (Unknown)
• Nov 06, 2014, Bloomberg joins the Caml Consortium — Caml INRIA
• Nov 03, 2014, Undefined caml_atom_table — Psellos
• Nov 03, 2014, Merlin 2.0 release — OCaml Platform (Frederic Bour, Thomas Refis)

October 2014

• Oct 31, 2014, Irmin Irmin on the wall, who is the pretiest of them all - Moana — Yan Shvartzshnaider (Unknown)
• Oct 31, 2014, Coq 8.4pl5 is out — Coq
• Oct 24, 2014, Interviewing At Jane Street — Jane Street
• Oct 23, 2014, MoanaML - status report — Yan Shvartzshnaider (Unknown)
• Oct 23, 2014, OPAM 1.2.0 Released — OCaml Platform (Louis Gesbert)
• Oct 17, 2014, Haskell : A neat trick for GHCi — Erik de Castro Lopo
• Oct 16, 2014, What the interns have wrought: RPC_parallel and Core_profiler — Jane Street
• Oct 14, 2014, OCaml 4.02.1 released — Caml INRIA
• Oct 14, 2014, Binary distribution with 0install — OCaml Platform (Thomas Leonard)
• Oct 06, 2014, Ocaml teaching resources — Yan Shvartzshnaider (Unknown)
• Oct 02, 2014, Learning OCAML: OcaIDE — Yan Shvartzshnaider (Unknown)

September 2014

• Sep 29, 2014, What is gained and lost with 63-bit integers? — Jane Street
• Sep 23, 2014, Eighth OCaml compiler hacking evening (at Mill Lane, by the river) — OCaml Labs compiler hacking
• Sep 22, 2014, New alpha version — OCaml-Java (Xavier Clerc)
• Sep 22, 2014, Alpha2 — OCaml-Java (Xavier Clerc)
• Sep 18, 2014, Announcing Lambdoc 1.0-beta1 — Dario Teixeira
• Sep 15, 2014, Bug-fix release E-ACSL 0.4.1 is available. — Frama-C
• Sep 11, 2014, New book: Apprendre à programmer avec OCaml: Algorithmes et structures de données, by Sylvain Conchon and Jean-Christophe Filliâtre — Caml INRIA
• Sep 08, 2014, OCaml on iOS 7 Simulator Released — Psellos

August 2014

• Aug 30, 2014, Talks from OCaml Labs during ICFP 2014 — Anil Madhavapeddy
• Aug 30, 2014, OCaml on iOS 7 Simulator, Progress Report — Psellos
• Aug 29, 2014, virt-v2v: better living through new technology — Richard Jones
• Aug 29, 2014, OCaml 4.02.0 released — Caml INRIA
• Aug 27, 2014, More OCaml: Algorithms, Methods & Diversions — OCaml Book
• Aug 26, 2014, UTop: a much improved interface to the OCaml toplevel — OCaml Platform (Jérémie Dimino)
• Aug 23, 2014, Clearly Failing — Jane Street
• Aug 21, 2014, OCaml on iOS 7 Released — Psellos
• Aug 21, 2014, Turn your editor into a full fledged OCaml IDE — OCaml Platform (Frederic Bour, Thomas Refis)
• Aug 19, 2014, Announcing Camlhighlight 3.0 — Dario Teixeira
• Aug 19, 2014, OPAM 1.2: Repository Pinning — OCaml Platform (Louis Gesbert)
• Aug 17, 2014, I Am Unikernel (And So Can You!) — Mindy Preston
• Aug 14, 2014, OPAM 1.2.0 public beta released — OCaml Platform
• Aug 13, 2014, My Content is Mine: Why I Unikernel, Part 2 — Mindy Preston
• Aug 12, 2014, OCaml on iOS 7, Second Progress Report — Psellos
• Aug 08, 2014, Attack Surface: Why I Unikernel, Part 1 — Mindy Preston
• Aug 07, 2014, Announcing Bookaml 1.0 — Dario Teixeira
• Aug 02, 2014, OCaml and IOCaml on Android — Andy Ray
• Aug 01, 2014, Cryptosense at the ICFP ML Workshop — Cryptosense

July 2014

• Jul 31, 2014, The ML Workshop looks fantastic — Jane Street
• Jul 25, 2014, Doing Nothing in Mirage — Mindy Preston
• Jul 24, 2014, Seventh OCaml compiler hacking session (at Citrix) — OCaml Labs compiler hacking
• Jul 23, 2014, libguestfs now works on 64 bit ARM — Richard Jones
• Jul 22, 2014, MirageOS v2.0: a recap of the new features — MirageOS (Anil Madhavapeddy)
• Jul 22, 2014, Building an ARMy of Xen unikernels — MirageOS (Thomas Leonard)
• Jul 21, 2014, Using Irmin to add fault-tolerance to the Xenstore database — MirageOS (Dave Scott)
• Jul 18, 2014, Introducing Irmin: Git-like distributed, branchable storage — MirageOS (Thomas Gazagnaire)
• Jul 18, 2014, Coq is hiring a specialized engineer for 2 years — Coq
• Jul 18, 2014, Simple top-down development in OCaml — Jane Street
• Jul 17, 2014, Fitting the modular MirageOS TCP/IP stack together — MirageOS (Mindy Preston)
• Jul 16, 2014, Vchan: Low-latency inter-VM communication channels — MirageOS (Jon Ludlam)
• Jul 15, 2014, Modular foreign function bindings — MirageOS (Jeremy Yallop)
• Jul 14, 2014, About alpha(s) — OCaml-Java (Xavier Clerc)
• Jul 14, 2014, The project is going alpha — OCaml-Java (Xavier Clerc)
• Jul 14, 2014, The site is online — OCaml-Java (Xavier Clerc)
• Jul 14, 2014, OCaml-TLS: the protocol implementation and mitigations to known attacks — MirageOS (David Kaloper)
• Jul 13, 2014, Thackers-Tiny-Computer-3 — Andy Ray
• Jul 11, 2014, OCaml-TLS: ASN.1 and notation embedding — MirageOS (David Kaloper)
• Jul 10, 2014, OCaml-TLS: Adventures in X.509 certificate parsing and validation — MirageOS (Hannes Mehnert)
• Jul 10, 2014, What's in a name? — Jane Street
• Jul 09, 2014, OCaml-TLS: building the nocrypto library core — MirageOS (David Kaloper)
• Jul 09, 2014, Inspecting Internal TCP State on Linux — Jane Street
• Jul 08, 2014, How to Set the Evil Bit — Mindy Preston
• Jul 08, 2014, Introducing transport layer security (TLS) in pure OCaml — MirageOS (Hannes Mehnert)
• Jul 08, 2014, MirageOS 1.2 released and the 2.0 runup begins — MirageOS (Anil Madhavapeddy)
• Jul 07, 2014, Parsers Optional — Mindy Preston
• Jul 06, 2014, Making “never break the build” scale — Jane Street

June 2014

• Jun 29, 2014, Notes on Naming — Jane Street
• Jun 28, 2014, Uucp 0.9.0 — Daniel Bünzli
• Jun 27, 2014, Parametric HOAS with first-class modules — Matthias Puech
• Jun 26, 2014, Escaping continuations — Matthias Puech
• Jun 26, 2014, Reading Lamport, again — Jane Street
• Jun 24, 2014, Highlights from recent sessions — OCaml Labs compiler hacking
• Jun 24, 2014, Iron out your release process — Jane Street
• Jun 20, 2014, Sixth OCaml compiler hacking session — OCaml Labs compiler hacking
• Jun 18, 2014, Reed-Solomon Interactive Demo — Andy Ray
• Jun 17, 2014, HardCaml — Andy Ray
• Jun 17, 2014, IOCaml — Andy Ray
• Jun 17, 2014, Reed-Solomon — Andy Ray
• Jun 16, 2014, Uucd 2.0.0 and Uunf 0.9.3 — Daniel Bünzli
• Jun 13, 2014, Scrutinize your code in style — Jane Street
• Jun 12, 2014, Code review that isn't boring — Jane Street
• Jun 11, 2014, Moving from Wai 2.X to 3.0. — Erik de Castro Lopo
• Jun 03, 2014, The Minnesota Goodbye — Mindy Preston

May 2014

• May 31, 2014, OCaml on iOS 7, Progress Report — Psellos
• May 28, 2014, PG’OCaml 2.0 has been released — Richard Jones
• May 28, 2014, Announcing PG'OCaml 2.0 — Dario Teixeira
• May 27, 2014, Announcing Litiom 3.0 — Dario Teixeira
• May 23, 2014, Introducing Humane-re — Rudi Grinberg
• May 22, 2014, Announcing CCSS 1.5 — Dario Teixeira
• May 22, 2014, Throwing Some Fuzzy Dice — Mindy Preston
• May 21, 2014, Installing OPAM 1.1.1 on a CentOS 6.5 — Paolo Donadeo
• May 21, 2014, Making type inference explode — Etienne Millon
• May 18, 2014, Tsdl 0.8.0 — Daniel Bünzli
• May 18, 2014, Tgls 0.8.0 — Daniel Bünzli
• May 18, 2014, Volumetric 001 — Daniel Bünzli (log)
• May 18, 2014, Log erratique — Daniel Bünzli
• May 18, 2014, OCaml 4.02: everything else — Jane Street
• May 17, 2014, Core_bench: better micro-benchmarks through linear regression — Jane Street
• May 17, 2014, Pattern matching and exception handling, unite! — Jane Street
• May 15, 2014, Hiring a compiler engineer — Jane Street
• May 14, 2014, Why change is hard — Jane Street
• May 12, 2014, Coq 8.4pl4 is out — Coq
• May 12, 2014, CUFP 2014 Call for Tutorials — CUFP
• May 12, 2014, Better namespaces through module aliases — Jane Street
• May 09, 2014, New Cambridgian summer — Daniel Bünzli
• May 08, 2014, Welcome to the summer MirageOS hackers — MirageOS (Anil Madhavapeddy)
• May 08, 2014, Extension Points, or how OCaml is becoming more like Lisp — Jane Street

April 2014

• Apr 29, 2014, Writing Planet in pure OCaml — Amir Chaudhry
• Apr 24, 2014, Fifth OCaml compiler hacking session — OCaml Labs compiler hacking
• Apr 23, 2014, Verb Your Own Noun — Mindy Preston
• Apr 23, 2014, How to fail -- introducing Or_error.t — Jane Street
• Apr 22, 2014, Disabling Chrome's x-webkit-speech vulnerability — Jane Street
• Apr 20, 2014, CUFP 2014 Call for Presentations — CUFP
• Apr 19, 2014, Coq received ACM Software System 2013 award — Coq
• Apr 18, 2014, Typeful disjunctive normal form — Matthias Puech
• Apr 17, 2014, How Does Automount Work Anyway? — Jane Street
• Apr 16, 2014, A guide to extension points in OCaml — Peter Zotov (whitequark)
• Apr 15, 2014, Disjunctive normal forms in big steps — Matthias Puech
• Apr 11, 2014, Representing pattern-matching with GADTs — Matthias Puech
• Apr 11, 2014, Middleware in Opium — Rudi Grinberg
• Apr 07, 2014, Grepping the source of every OCaml package in OPAM — Anil Madhavapeddy
• Apr 07, 2014, Generic mapping and folding in OCaml — Jane Street
• Apr 04, 2014, Introducing Opium — Rudi Grinberg
• Apr 02, 2014, React 1.0.0 — Daniel Bünzli
• Apr 02, 2014, Tying the Knot — Mindy Preston

March 2014

• Mar 26, 2014, Codio, the insanely slick web way to build Mirage unikernels from a browser — Anil Madhavapeddy
• Mar 25, 2014, Easily OPAM switching to any OCaml feature request — Anil Madhavapeddy
• Mar 24, 2014, Arriving At the Mirage — Mindy Preston
• Mar 16, 2014, Advancing Toward the Mirage — Mindy Preston
• Mar 14, 2014, It's a mirage! (Or, how to shave a yak.) — Mindy Preston
• Mar 10, 2014, From Jekyll site to Unikernel in fifty lines of code. — Amir Chaudhry
• Mar 07, 2014, Release Neon 20140301 is available. — Frama-C
• Mar 07, 2014, Release E-ACSL 0.4 is available. — Frama-C
• Mar 04, 2014, GUI Event Handling with a Functional Hierarchical State Machine — Cranial Burnout (Tony Tavener)
• Mar 04, 2014, A Component-based GUI with Functional Flavour — Cranial Burnout (Tony Tavener)
• Mar 03, 2014, ICFP 2014 - a call for sponsorship and how you can help — Anil Madhavapeddy

February 2014

• Feb 25, 2014, MirageOS is in Google Summer of Code 2014 — MirageOS (Anil Madhavapeddy)
• Feb 24, 2014, Breaking down FRP — Jane Street
• Feb 14, 2014, Update on Typeful Normalization by Evaluation — Matthias Puech
• Feb 11, 2014, MirageOS 1.1.0: the eat-your-own-dogfood release — MirageOS (Anil Madhavapeddy)
• Feb 11, 2014, Fourth OCaml compiler hacking session — OCaml Labs compiler hacking
• Feb 10, 2014, Omegle clone in Flask + Gevent + WebSockets — Rudi Grinberg
• Feb 09, 2014, Cmdliner 0.9.4 — Daniel Bünzli
• Feb 05, 2014, Benchmarking OCaml Json Libraries — Rudi Grinberg
• Feb 04, 2014, How to handle success — OCaml Labs compiler hacking

January 2014

• Jan 29, 2014, OPAM 1.1.1 released — OCaml Platform (Louis Gesbert)
• Jan 13, 2014, Unikernels, and the Rise of the Virtual Library Operating System — Anil Madhavapeddy
• Jan 09, 2014, Async Parallel — Jane Street
• Jan 08, 2014, When QuickCheck Fails Me — Erik de Castro Lopo
• Jan 03, 2014, Presenting Decks — MirageOS (Richard Mortier)

December 2013

• Dec 31, 2013, Fedora 21 has a working OCaml ARM64 — Richard Jones
• Dec 29, 2013, Reviewing the first year of OCaml Labs in 2013 — Anil Madhavapeddy
• Dec 28, 2013, Haskell : The Problem with Integer. — Erik de Castro Lopo
• Dec 26, 2013, Document Search Using Cosine Similarity In Haskell Using Linear — Rudi Grinberg
• Dec 23, 2013, Gen_server in Ocaml — Orbitz (Unknown)
• Dec 20, 2013, 10 tips for writing comments (plus one more) — Jane Street
• Dec 19, 2013, MirageOS 1.0.3 released; tutorial on building this website available — MirageOS (Anil Madhavapeddy)
• Dec 14, 2013, Writing a Planner to solve a tricky programming optimization problem — Richard Jones
• Dec 11, 2013, A module type equivalence surprise — Jane Street
• Dec 10, 2013, Lru Cache With a Memcache-Like Interface — Rudi Grinberg
• Dec 09, 2013, MirageOS 1.0: not just a hallucination! — MirageOS (Anil Madhavapeddy)

November 2013

• Nov 26, 2013, Switching from Bootstrap to Zurb Foundation — Amir Chaudhry
• Nov 22, 2013, Coq source repository migrated to git — Coq
• Nov 21, 2013, Quick, dirty and shallow definitions — Matthias Puech
• Nov 20, 2013, Announcing the new OCaml.org — Amir Chaudhry
• Nov 17, 2013, New book: Real World OCaml, by Yaron Minsky, Anil Madhavepeddy, and Jason Hickey — Caml INRIA
• Nov 15, 2013, Using Docker to bulk-build OPAM packages on Linux — Anil Madhavapeddy
• Nov 11, 2013, Why is virt-builder written in OCaml? — Richard Jones
• Nov 08, 2013, OPAM 1.1.0 released — OCaml Platform (Thomas Gazagnaire)
• Nov 06, 2013, Migration plan for the OCaml.org redesign — Amir Chaudhry

October 2013

• Oct 30, 2013, Third OCaml compiler hacking session — OCaml Labs compiler hacking
• Oct 29, 2013, New draft on Normalization by Evaluation using GADTs — Matthias Puech
• Oct 28, 2013, Review of the OCaml FPDays tutorial — Amir Chaudhry
• Oct 22, 2013, FP Days OCaml Session — Amir Chaudhry
• Oct 17, 2013, Trevi; Watering Down Storage Hotspots with Cool Fountain Codes — Anil Madhavapeddy
• Oct 17, 2013, OCamlCore SARL is now officially closed. — OCamlCore.com
• Oct 15, 2013, Reprinting of "OCaml from the Very Beginning" — OCaml Book
• Oct 14, 2013, OPAM 1.1.0 release candidate out — OCaml Platform (Louis Gesbert)
• Oct 07, 2013, FPDays 2013 Real World OCaml tutorial in Cambridge — Anil Madhavapeddy
• Oct 07, 2013, Announcing CCSS 1.4 — Dario Teixeira
• Oct 05, 2013, Using Travis for secure deployments with SSH — Anil Madhavapeddy
• Oct 02, 2013, Intellisense for OCaml with Vim and Merlin — Anil Madhavapeddy
• Oct 01, 2013, Uucd 1.0.0 and Uunf 0.9.2 — Daniel Bünzli

September 2013

• Sep 29, 2013, Test your OCaml packages in minutes using Travis CI — Anil Madhavapeddy
• Sep 27, 2013, OCaml tutorial videos now available — OCaml Book
• Sep 24, 2013, Gg 0.8.0 and Vg 0.8.0 — Daniel Bünzli
• Sep 24, 2013, Feedback requested on the OCaml.org redesign — Amir Chaudhry
• Sep 23, 2013, Release E-ACSL 0.3 is available. — Frama-C
• Sep 20, 2013, Goaljobs, part 4 — Richard Jones
• Sep 20, 2013, Goaljobs, part 3 — Richard Jones
• Sep 20, 2013, Goaljobs, part 2 — Richard Jones
• Sep 20, 2013, OPAM 1.1.0 beta released — OCaml Platform (Thomas Gazagnaire)
• Sep 19, 2013, OPAM 1.1 beta available, with pretty colours — Anil Madhavapeddy
• Sep 19, 2013, Goaljobs, part 1 — Richard Jones
• Sep 17, 2013, Inaugural compiler hackers meeting — OCaml Labs compiler hacking
• Sep 16, 2013, Code layout of Fan (a metaprogramming tool for OCaml) — Hong bo Zhang
• Sep 15, 2013, Camlpdf, the first good command-line PDF tool I've found — Anil Madhavapeddy
• Sep 14, 2013, OCaml 4.01.0 entering Rawhide — Richard Jones
• Sep 12, 2013, Database - radiation hazard — Cranial Burnout (Tony Tavener)
• Sep 12, 2013, Programming a Game in OCaml — Cranial Burnout (Tony Tavener)
• Sep 12, 2013, OCaml 4.01.0 released — Caml INRIA
• Sep 08, 2013, OCamlot--exploring the edges of OPAM packages — Anil Madhavapeddy
• Sep 06, 2013, Uutf 0.9.3 and Xmlm 1.2.0 — Daniel Bünzli
• Sep 05, 2013, Community Release of PDF Command Line Tools — Coherent Graphics
• Sep 02, 2013, A new open source app in Opa: Birdy — Opa (HB)

August 2013

• Aug 30, 2013, Real World OCaml — Gaius Hammond
• Aug 23, 2013, Introducing vchan — MirageOS (Vincent Bernardoff)
• Aug 21, 2013, CamlGPC: An interface to Alan Murta’s GPC Polygon Clipper — Coherent Graphics
• Aug 21, 2013, GraphicsPDF: A version of Ocaml’s Graphics module which outputs PDF — Coherent Graphics
• Aug 17, 2013, Strange Datetime Problem — Gaius Hammond
• Aug 15, 2013, OCI*ML: Make Test — Gaius Hammond
• Aug 15, 2013, CamlPDF 1.7 — Coherent Graphics
• Aug 12, 2013, OPAM for OCaml — Grant Rettke
• Aug 11, 2013, GODI – The source code Objective Caml distribution — Grant Rettke
• Aug 08, 2013, MirageOS travels to OSCON'13: a trip report — MirageOS (Richard Mortier)
• Aug 05, 2013, Final Real World OCaml beta; the good, the bad and the ugly — Anil Madhavapeddy

July 2013

• Jul 31, 2013, August — Gaius Hammond
• Jul 18, 2013, Creating Xen block devices with MirageOS — MirageOS (Dave Scott)
• Jul 09, 2013, Experimenting in API Design: Riakc — Orbitz (Unknown)
• Jul 04, 2013, On the book « OCaml from the very beginning » — Daniel Bünzli
• Jul 04, 2013, Riakc In Five Minutes — Orbitz (Unknown)
• Jul 03, 2013, CUFP 2013 Registration Information — CUFP
• Jul 03, 2013, CUFP 2013 Registration — CUFP

June 2013

• Jun 30, 2013, Coq received ACM SIGPLAN Programming Languages Software 2013 award — Coq
• Jun 20, 2013, New book: OCaml from the very beginning, by John Whitington — Caml INRIA
• Jun 17, 2013, New draft: Proofs, upside down — Matthias Puech
• Jun 16, 2013, Phew, Real World OCaml beta now available. — Anil Madhavapeddy
• Jun 12, 2013, Minor release Fluorine 20130601 is available. — Frama-C
• Jun 10, 2013, New book: OCaml from the Very Beginning — Coherent Graphics
• Jun 07, 2013, Now available on Amazon — OCaml Book

May 2013

• May 26, 2013, Issues with distributions, not only a Debian specific problem — David Mentré
• May 23, 2013, Plug-in E-ACSL 0.2 is available. — Frama-C
• May 20, 2013, The road to a developer preview at OSCON 2013 — MirageOS (Anil Madhavapeddy)
• May 04, 2013, malloc() is the new gensym() — Matthias Puech

April 2013

• Apr 17, 2013, Release Fluorine 20130401 is available. — Frama-C
• Apr 11, 2013, Opa 1.1.1 is coming in a few days — Opa (HB)

March 2013

• Mar 17, 2013, [ANN] Riakc 0.0.0 — Orbitz (Unknown)
• Mar 17, 2013, [ANN] Protobuf 0.0.2 — Orbitz (Unknown)
• Mar 15, 2013, OPAM 1.0.0 released — OCaml Platform (Thomas Gazagnaire)
• Mar 14, 2013, Wireframe demos for OCaml.org — Amir Chaudhry
• Mar 10, 2013, Adding namespaces to OCaml — Leo White
• Mar 06, 2013, Opa 1.1.1 is coming soon. The book is here. — Opa (HB)
• Mar 06, 2013, CUFP 2013 Call for Tutorials — CUFP
• Mar 04, 2013, CUFP 2013 Call for Presentations — CUFP

February 2013

• Feb 24, 2013, Batteries 2.0: Composition and application — Marc Simpson
• Feb 17, 2013, Migration from Posterous — Marc Simpson
• Feb 14, 2013, Four — Daniel Bünzli
• Feb 12, 2013, Some great news on Opa — Opa (HB)
• Feb 11, 2013, Testing OCaml projects on Travis CI — Mike Lin (Unknown)
• Feb 07, 2013, [ANN] ocaml-vclock - 0.0.0 — Orbitz (Unknown)
• Feb 07, 2013, More static analysis with CIL — Richard Jones
• Feb 05, 2013, Syntactic Meta-Programming in OCaml (II) — Hong bo Zhang
• Feb 05, 2013, An alternative to camlp4 - Part 2 — Leo White

January 2013

• Jan 31, 2013, Discussions on the Syntactic Meta Programming(wg-camlp4 list) — Hong bo Zhang
• Jan 28, 2013, Random thoughts about Syntactic Meta Programming (I) — Hong bo Zhang
• Jan 27, 2013, The failures of Debian (and its derivatives) — David Mentré
• Jan 23, 2013, An alternative to camlp4 - Part 1 — Leo White
• Jan 22, 2013, parMap to the Rescue. — Erik de Castro Lopo
• Jan 05, 2013, Winter distribution — Daniel Bünzli
• Jan 04, 2013, Experiences using Result.t vs Exceptions in Ocaml — Orbitz (Unknown)
• Jan 03, 2013, Introduction to Result.t vs Exceptions in Ocaml — Orbitz (Unknown)

December 2012

• Dec 22, 2012, My Space is Leaking. — Erik de Castro Lopo
• Dec 19, 2012, The article Combining Analyses for C Program Verification has been accepted to FMICS'12. — Frama-C
• Dec 19, 2012, The reference paper Frama-C, A Software Analysis Perspective has been accepted to SEFM'12. — Frama-C
• Dec 18, 2012, OCaml Design Pattern: Easy functorization refactoring for unit testing — Mike McClurg

November 2012

• Nov 15, 2012, When iOS Simulator Apps Go AWOL — Psellos
• Nov 13, 2012, Fan, A langugage to implement languages (I) — Hong bo Zhang
• Nov 05, 2012, Getting started with Go and Juju — Mike McClurg
• Nov 01, 2012, Dropbox-as-a-Database, the tutorial — Opa (Cédric Soulas)

October 2012

• Oct 31, 2012, Dropbox-as-a-Database — Opa (Cédric Soulas)
• Oct 25, 2012, How to Write a Simple Web Application Using Ocamlnet — Matías Giovannini (Unknown)
• Oct 24, 2012, Announcing OCaml-bitcoin 1.0 — Dario Teixeira
• Oct 23, 2012, OCamlXSim 3.1 for Mountain Lion — Psellos
• Oct 18, 2012, OCamlXARM 3.1 for Mountain Lion — Psellos
• Oct 17, 2012, Breaking up is easy to do (with OPAM) — MirageOS (Anil Madhavapeddy)
• Oct 13, 2012, Archimedean Solids in OCaml — Psellos
• Oct 05, 2012, OCaml 4.00.1 released — Caml INRIA
• Oct 04, 2012, OCaml - Installation and hello world — Amir Chaudhry
• Oct 03, 2012, OCaml 4.00.0 for iOS ARMv6 — Psellos
• Oct 01, 2012, Thirty Days of OCaml — Amir Chaudhry

September 2012

• Sep 30, 2012, OCaml 4.00.0 Patches for VFPv2 — Psellos
• Sep 26, 2012, OCaml Users and Developers slides and videos — Richard Jones
• Sep 24, 2012, OCaml 4.00.0 on iOS Simulator Is Released — Psellos
• Sep 19, 2012, Release Oxygen 20120901 is available. — Frama-C
• Sep 19, 2012, Evaluation version of Mthread plugin available. — Frama-C
• Sep 18, 2012, Programming Tools UX: When Statically Compiled Feels Dynamic — Opa (Rudy Sicard)
• Sep 17, 2012, CUFP 2012 Videos now available — CUFP
• Sep 12, 2012, Building a "Xenstore stub domain" with MirageOS — MirageOS (Dave Scott)
• Sep 11, 2012, Functional Big-Data Genomics — Ashish Agarwal
• Sep 10, 2012, Biocaml: The OCaml Bioinformatics Library — Ashish Agarwal
• Sep 10, 2012, The Opa Framework Hits a Major Milestone — Opa (HB)
• Sep 07, 2012, Uunf 0.9.0 — Daniel Bünzli
• Sep 07, 2012, Uucd 0.9.0 — Daniel Bünzli
• Sep 01, 2012, First release of OCaml binding of Lua library — Paolo Donadeo

August 2012

• Aug 29, 2012, ICFP/CUFP 2012 industrial reception on Thursday, Sep 13, 6:30PM — CUFP
• Aug 16, 2012, F# and Scala tutorials available at lower registration costs! — CUFP
• Aug 12, 2012, Coq 8.4 is out! — Coq
• Aug 08, 2012, Release candidate of Coq 8.4 is out — Coq
• Aug 07, 2012, Merge Right — Matías Giovannini (Unknown)
• Aug 02, 2012, A Helping Phantom Hand — Matías Giovannini (Unknown)
• Aug 02, 2012, Opa 1.0.5 released: great improvements in Node.js backend — Opa (Cédric Soulas)

July 2012

• Jul 26, 2012, OCaml 4.00.0 released — Caml INRIA
• Jul 22, 2012, Final CUFP 2012 Schedule Available! — CUFP
• Jul 20, 2012, Programming tools UX: Better Type Error Messages — Opa (Unknown)
• Jul 19, 2012, Theorems for Free: The Monad Edition — Matías Giovannini (Unknown)
• Jul 17, 2012, An Odd Lemma — Matías Giovannini (Unknown)
• Jul 17, 2012, Preliminary Program for CUFP 2012 Talks available! — CUFP
• Jul 12, 2012, A minor branch off Braun Trees — Matías Giovannini (Unknown)
• Jul 11, 2012, CUFP 2012 Tutorial Schedule & Registration is now up! — CUFP
• Jul 09, 2012, Existential Crisis — Matías Giovannini (Unknown)
• Jul 04, 2012, Opa 1.0.4 Released — Opa (HB)
• Jul 02, 2012, Assessing Abstractions — Matías Giovannini (Unknown)

June 2012

• Jun 29, 2012, Managing and Analyzing Big-Data in Genomics — Ashish Agarwal
• Jun 29, 2012, 2D Interpolation, Part 5: Final Optimizations — Matías Giovannini (Unknown)
• Jun 28, 2012, 2D Interpolation, Part 4: ARGB Interpolation — Matías Giovannini (Unknown)
• Jun 27, 2012, Opa: Post 1.0 Status Update — Opa (HB)
• Jun 27, 2012, 2D Interpolation, Part 3: Linear Array Accesses — Matías Giovannini (Unknown)
• Jun 26, 2012, 2D Interpolation, Part 2: Minimizing Array Accesses — Matías Giovannini (Unknown)
• Jun 25, 2012, 2D Interpolation, Part 1: The Digital Differential Analyzer — Matías Giovannini (Unknown)
• Jun 22, 2012, 2D Interpolation, Part 0: The Groundwork — Matías Giovannini (Unknown)
• Jun 21, 2012, Announcing Opa 1.0 — Opa (HB)
• Jun 15, 2012, Quick histograms — Gaius Hammond
• Jun 13, 2012, xavierbot lives! — Richard Jones
• Jun 13, 2012, Programming tools UX: How we simplified the creation of Opa projects — Opa (Cédric Soulas)
• Jun 09, 2012, OCaml 4.00.0 beta 2 is in Rawhide — Richard Jones
• Jun 07, 2012, OCaml 4 beta — Gaius Hammond
• Jun 06, 2012, New release: Opa 0.9.3 — Opa (Unknown)

May 2012

• May 29, 2012, Opa License Change: Not just AGPL anymore — Opa (HB)
• May 05, 2012, Jsonm 0.9.0 — Daniel Bünzli
• May 05, 2012, Uutf 0.9.0 — Daniel Bünzli

April 2012

• Apr 22, 2012, The application operator in Standard ML — Marc Simpson
• Apr 18, 2012, One Web App = One Language — Opa (HB)
• Apr 17, 2012, Implementing Haskell's $ in OCaml — Marc Simpson

March 2012

• Mar 29, 2012, Programming tools UX: How we made MongoDB even easier to use with Opa — Opa (Unknown)
• Mar 27, 2012, CUFP 2011 videos and scribe report now available — CUFP
• Mar 26, 2012, Implementing Functor in OCaml — Marc Simpson
• Mar 26, 2012, From Functor to Applicative — Marc Simpson
• Mar 17, 2012, Spring release — Daniel Bünzli
• Mar 12, 2012, OpaHOWTOs — Opa (Unknown)
• Mar 09, 2012, New release: Opa 0.9.1 — Opa (Unknown)

February 2012

• Feb 29, 2012, Connected Cloud Control: OpenFlow in MirageOS — MirageOS (Richard Mortier)
• Feb 28, 2012, Node.js vs. Opa: Web Framework Showdown — Opa (Unknown)
• Feb 27, 2012, Debugging memory in OCaml: any advice? — Paolo Donadeo
• Feb 27, 2012, Opa 0.9.0: New syntax — Opa (Unknown)
• Feb 22, 2012, For the Right Hand — Matías Giovannini (Unknown)
• Feb 20, 2012, Spotlight on Opa app: OpaDo by Tristan Sloughter — Opa (Unknown)
• Feb 19, 2012, CUFP 2012 Call for Presentations is out! — CUFP
• Feb 16, 2012, Commercial support and license available. — Frama-C
• Feb 14, 2012, New release: Opa 0.9.0 (S4) — Opa (Unknown)
• Feb 10, 2012, Opa presentation at a game development meetup, GameJS — Opa (Unknown)

January 2012

• Jan 27, 2012, Training courses on Frama-C are proposed by Atos Formation (in French). — Frama-C
• Jan 24, 2012, Benchmarking and QuickChecking readInt. — Erik de Castro Lopo
• Jan 23, 2012, CUFP 2012 is on the way — CUFP
• Jan 14, 2012, A Simple Telnet Client Using Data.Conduit. — Erik de Castro Lopo
• Jan 12, 2012, File Sharing on the Spot — Matías Giovannini (Unknown)
• Jan 11, 2012, Eighteen Million Noises — Matías Giovannini (Unknown)
• Jan 09, 2012, Putting Noise to the Test — Matías Giovannini (Unknown)
• Jan 06, 2012, Perlin's Simplex Noise — Matías Giovannini (Unknown)
• Jan 05, 2012, Release of Plug-in WP 0.5 for Nitrogen-20111001 is available. — Frama-C
• Jan 05, 2012, Plug-in E-ACSL 0.1 is available. — Frama-C

December 2011

• Dec 30, 2011, (One by) Four by Nine — Matías Giovannini (Unknown)
• Dec 29, 2011, Vose's Alias Method — Matías Giovannini (Unknown)
• Dec 27, 2011, Beta-release of Coq 8.4 — Coq
• Dec 27, 2011, Coq 8.3pl3 is out — Coq
• Dec 21, 2011, A Better (Gauss) Error Function — Matías Giovannini (Unknown)
• Dec 14, 2011, What's in an ADT ? — Etienne Millon
• Dec 11, 2011, PDF Explained, now available from O’Reilly — Coherent Graphics
• Dec 10, 2011, Coq's sumor Type — Sebastien Mondet
• Dec 02, 2011, A draft of library to handle physical units in OCaml — David Mentré

November 2011

• Nov 17, 2011, Brainfuck in Java — Matías Giovannini (Unknown)
• Nov 11, 2011, Modular Semantics for Brainfuck — Matías Giovannini (Unknown)
• Nov 05, 2011, "OCaml for the Masses", a paper by Yaron Minsky, published in ACM Queue — Caml INRIA

October 2011

• Oct 28, 2011, A First-Principles GIF Encoder — Matías Giovannini (Unknown)
• Oct 20, 2011, JavaScript, this static language (part 1) — David Teller
• Oct 10, 2011, Release Nitrogen 20111001 is available. — Frama-C
• Oct 09, 2011, Michael Man Ho Mak RIP. — Erik de Castro Lopo
• Oct 07, 2011, Gdb debugging... — Till Varoquaux

September 2011

• Sep 29, 2011, An Outing to CUFP 2011 — MirageOS (Anil Madhavapeddy)
• Sep 13, 2011, Propose a BOF! — CUFP
• Sep 09, 2011, Segmentation Faults, TAP and Eclipse — Gaius Hammond
• Sep 06, 2011, Goodbye MLstate, goodbye Opa — David Teller
• Sep 04, 2011, Mercurial: Prettypaths extension — Marc Simpson

August 2011

• Aug 31, 2011, Programming Decisions with Coq's Sumbools — Sebastien Mondet
• Aug 28, 2011, Opa advocacy — David Teller
• Aug 28, 2011, Opa on Lambda the Ultimate (and now Slashdot) — David Teller
• Aug 17, 2011, Coq Programming with Subsets — Sebastien Mondet
• Aug 12, 2011, Portable Regular Expressions — MirageOS (Raphael Proust)

July 2011

• Jul 29, 2011, Objective Caml renamed to OCaml — Caml INRIA
• Jul 28, 2011, CUFP 2011 Call for Participation — CUFP
• Jul 04, 2011, OCaml 3.12.1 released — Caml INRIA

June 2011

• Jun 18, 2011, Delimited Continuations vs Lwt for Threads — MirageOS (Anil Madhavapeddy)
• Jun 16, 2011, Back From IFIP SEC 2011 — Sebastien Mondet
• Jun 09, 2011, Logic programming in Scala, part 3: unification and state — Jake Donham
• Jun 07, 2011, Listing Opa applications — David Teller
• Jun 01, 2011, Programming PIC microcontrollers with Objective Caml — Grant Rettke

May 2011

• May 30, 2011, Crowdsourcing the syntax — David Teller
• May 27, 2011, Cmdliner 0.9.0 — Daniel Bünzli
• May 24, 2011, A few Opa applications — David Teller
• May 23, 2011, Unbreaking Scalable Web Development, One Loc at a Time — David Teller
• May 23, 2011, OCaml Meeting 2011 — OCamlCore.com
• May 10, 2011, OCamlPro becomes member of the Caml Consortium — Caml INRIA

April 2011

• Apr 30, 2011, Logic programming in Scala, part 2: backtracking — Jake Donham
• Apr 26, 2011, Third Post; New Blog Engine — Sebastien Mondet
• Apr 25, 2011, 3rd Asian-Pacific Summer School on Formal Methods — Coq
• Apr 25, 2011, Coq Workshop 2011 — Coq
• Apr 25, 2011, Coq 8.3pl2 is out — Coq
• Apr 20, 2011, Esterel Technologies becomes member of the Caml Consortium — Caml INRIA
• Apr 19, 2011, Anyweb, Document Source Code The Way You Like — Sebastien Mondet
• Apr 11, 2011, A Spring Wiki Cleaning — MirageOS (Anil Madhavapeddy)
• Apr 07, 2011, Logic programming in Scala, part 1 — Jake Donham
• Apr 06, 2011, Plug-in WP 0.3 for release Carbon 20110201 is available. — Frama-C
• Apr 06, 2011, Binary Mac OS X Intel package Carbon 20110201including patchlevel 1 is available. — Frama-C

March 2011

• Mar 26, 2011, Using Camlp4 for conditional compilation — Ocaml XMPP project
• Mar 22, 2011, CUFP 2011 Call for Proposals — CUFP
• Mar 17, 2011, PDF Command Line Tools 1.6 — Coherent Graphics
• Mar 15, 2011, — Ocaml XMPP project
• Mar 02, 2011, ODNS and ring version 0.3 — ODNS project

February 2011

• Feb 18, 2011, Various news: Gentoo package, FAQ, upcoming version, OCaml planet, thanks! — ODNS project
• Feb 07, 2011, Release Carbon 20110201 is available. — Frama-C
• Feb 04, 2011, Announcement Mailing List — ODNS project
• Feb 01, 2011, Release of ODNS and ring 0.2 — ODNS project

January 2011

• Jan 29, 2011, Bzzzz tracker… — ODNS project
• Jan 28, 2011, ring -t a -c in odns.tuxfamily.org — ODNS project
• Jan 10, 2011, CUFP 2010 Videos now available online — CUFP
• Jan 01, 2011, LLVM Backend for DDC : Very Nearly Done. — Erik de Castro Lopo

December 2010

• Dec 29, 2010, OCaml Forge has been upgraded — OCamlCore.com
• Dec 17, 2010, Release Carbon 20101202 beta-2 is available. — Frama-C
• Dec 14, 2010, Release Carbon 20101201 beta-1 is available, with the first beta release of WP plug-in. Enjoy! — Frama-C
• Dec 13, 2010, Installing OCaml Batteries — Paolo Donadeo
• Dec 07, 2010, CPDFTK: Supported, Faster PDFTK — Coherent Graphics
• Dec 05, 2010, Pearls of OCaml Batteries (1) — Paolo Donadeo
• Dec 01, 2010, LLVM Backend for DDC : Milestone #3. — Erik de Castro Lopo

November 2010

• Nov 30, 2010, Functional Programing, Tail Call Recursion and Javascript. — Erik de Castro Lopo
• Nov 30, 2010, New positions on Frama-C are available. — Frama-C
• Nov 25, 2010, Three uses for a binary heap — Jake Donham
• Nov 16, 2010, FP-Syd #29. — Erik de Castro Lopo
• Nov 08, 2010, Commercial, Supported, Faster PDFtk – Beta Testers Wanted — Coherent Graphics
• Nov 06, 2010, Stalin Scheme vs OCaml — Grant Rettke

October 2010

• Oct 25, 2010, A brief summary ofthe training session in Berlinis available. — Frama-C
• Oct 21, 2010, OASIS v0.2 release — OCamlCore.com
• Oct 20, 2010, Random.self_init — David Baelde (mrpingouin)
• Oct 20, 2010, ocaml-http has moved — Stefano Zacchiroli
• Oct 16, 2010, libsndfile Malware on Windows. — Erik de Castro Lopo
• Oct 14, 2010, Coq 8.3 is out ! — Coq
• Oct 12, 2010, Ablogwill keep you informed on what is going on within Frama-C. — Frama-C
• Oct 11, 2010, Self-hosting MirageOS website — MirageOS (Anil Madhavapeddy)
• Oct 07, 2010, The (Problems with the) RF64 File Specification. — Erik de Castro Lopo
• Oct 03, 2010, Distros and Test Suites. — Erik de Castro Lopo
• Oct 01, 2010, Post-doc positionson Frama-C are available at CEA LIST. — Frama-C

September 2010

• Sep 25, 2010, Enhanced Ocaml Documentation Version 3.12 — Grant Rettke
• Sep 25, 2010, Resources for Learning CamlP4 — Grant Rettke
• Sep 21, 2010, FP-Syd #28. — Erik de Castro Lopo
• Sep 21, 2010, Mylife.com becomes member of the Caml Consortium — Caml INRIA
• Sep 13, 2010, Objective Caml for Multicore Architectures — Grant Rettke
• Sep 11, 2010, Unison on the iPhone — Grant Rettke
• Sep 11, 2010, Literate programming: where we are and where we should aim at — David Mentré
• Sep 11, 2010, Reading Camlp4, part 11: syntax extensions — Jake Donham
• Sep 10, 2010, Atraining sessionon Frama-C will take place in Berlin on October 21-22 — Frama-C
• Sep 01, 2010, ocamlnet-3.0.0 — Grant Rettke

August 2010

• Aug 26, 2010, ocamljs 0.3 — Jake Donham
• Aug 25, 2010, ErlangCamp Date and Venue Announced — CUFP
• Aug 23, 2010, OASIS-DB: alpha website available — OCamlCore.com
• Aug 22, 2010, OCaml per programmatori Python — Paolo Donadeo
• Aug 22, 2010, LLVM Backend for DDC : Milestone #2. — Erik de Castro Lopo
• Aug 21, 2010, Delimited continuations on OCaml — Grant Rettke
• Aug 21, 2010, FP-Syd #27. — Erik de Castro Lopo
• Aug 21, 2010, Mixing monadic and direct-style code with delimited continuations — Jake Donham
• Aug 18, 2010, Proview PDF Editor 1.2 Released — Coherent Graphics
• Aug 13, 2010, Reading Camlp4, part 10: custom lexers — Jake Donham
• Aug 08, 2010, Source repository of this blog — Paolo Donadeo
• Aug 06, 2010, Reading Camlp4, part 9: implementing antiquotations — Jake Donham
• Aug 04, 2010, From Gedit to Geany. — Erik de Castro Lopo
• Aug 03, 2010, Reading Camlp4, part 8: implementing quotations — Jake Donham
• Aug 03, 2010, My new blog… in Objective Caml — Paolo Donadeo
• Aug 03, 2010, Registration is now available — CUFP
• Aug 02, 2010, Objective Caml 3.12.0 released — Caml INRIA

July 2010

• Jul 30, 2010, CUFP Talks are up — CUFP
• Jul 27, 2010, Reading Camlp4, part 7: revised syntax — Jake Donham
• Jul 27, 2010, R.I.P. Nedit — Erik de Castro Lopo
• Jul 25, 2010, FP-Syd #26. — Erik de Castro Lopo
• Jul 21, 2010, New video illustrating an industrial use case. — Frama-C
• Jul 15, 2010, OASIS-DB: a CPAN for OCaml — OCamlCore.com
• Jul 13, 2010, Command line parsing as a functional unparsing — Till Varoquaux
• Jul 12, 2010, CUFP 2010 Tutorials schedule is up — CUFP

June 2010

• Jun 28, 2010, Post-OWASP AppSec Research — David Teller
• Jun 22, 2010, Alpha-release of Coq Modulo Theories — Coq
• Jun 16, 2010, Objective Caml 3.12.0+beta1 released — Caml INRIA
• Jun 09, 2010, 2nd Asian-Pacific Coq Summer School — Coq
• Jun 07, 2010, Binary Mac OS X Intel package Boron-20100401-Why 2.26 available. — Frama-C
• Jun 01, 2010, ACSL by Example updated for Boron by Fraunhofer FIRST — Frama-C

May 2010

• May 31, 2010, Offres d’emploi pour informaticiens de haut niveau — David Teller
• May 31, 2010, Binary Windows bundle Boron-20100401-Why 2.26 is available. — Frama-C
• May 27, 2010, Coq Workshop 2010 — Coq
• May 20, 2010, Reading Camlp4, part 6: parsing — Jake Donham
• May 07, 2010, How froc works — Jake Donham

April 2010

• Apr 25, 2010, React 0.9.2 — Daniel Bünzli
• Apr 21, 2010, logit – a simple tool to date-stamp files into a log directory — Ashish Agarwal
• Apr 19, 2010, Bundle Boron-20100401-Why 2.24 is available. — Frama-C
• Apr 19, 2010, Why 2.24 is available and updates the Frama-C Jessie plugin. — Frama-C
• Apr 15, 2010, React 0.9.1 and Rtime 0.9.1 — Daniel Bünzli
• Apr 13, 2010, Release Boron 20100401 is available. Enjoy! — Frama-C
• Apr 12, 2010, ACSL by Example updated by Fraunhofer FIRST — Frama-C
• Apr 03, 2010, orpc 0.3 — Jake Donham
• Apr 01, 2010, Pourquoi je quitte l'expérience démocratique — David Mentré

March 2010

• Mar 29, 2010, Status of OCaml packages on Ubuntu Lucid Lynx (10.04 LTS): transition to OCaml 3.11.2 finished — David Mentré
• Mar 28, 2010, Updated backtrace patch — Jake Donham
• Mar 27, 2010, Toward Interactive Statistical Modeling — Ashish Agarwal
• Mar 23, 2010, Inside OCaml objects — Jake Donham
• Mar 21, 2010, Creating Stream Combinators in Haskell’s Stream Fusion Library — Mike McClurg
• Mar 18, 2010, Looking for a C software for Formal Verification — David Mentré
• Mar 06, 2010, ocaml batteries included 1.1.0 is in debian now — Stefano Zacchiroli
• Mar 03, 2010, Reading Camlp4, part 5: filters — Jake Donham

February 2010

• Feb 27, 2010, Call for Presentations — CUFP
• Feb 16, 2010, Coq 8.3 beta version — Coq
• Feb 12, 2010, Java Concurrency Annotations — Mike McClurg
• Feb 11, 2010, A thoroughACSL by Example has been released by Fraunhofer FIRST — Frama-C
• Feb 10, 2010, XML for Resumes — Mike McClurg
• Feb 08, 2010, Quel effet ça fait — David Baelde (mrpingouin)

January 2010

• Jan 21, 2010, Playing with .annot files — Cameleon news (Zoggy)
• Jan 20, 2010, Objective Caml 3.11.2 released — Caml INRIA
• Jan 19, 2010, Emacs! — Mike McClurg
• Jan 18, 2010, Automating Mathematical Program Transformations — Ashish Agarwal
• Jan 18, 2010, An updated binary package for Mac OS X Intel is available (Why/Jessie version 2.23). — Frama-C
• Jan 14, 2010, Quick news: OCaml on Ubuntu Lucid and MapOSMatic — David Mentré
• Jan 04, 2010, MLstate becomes member of the Caml Consortium — Caml INRIA

December 2009

• Dec 14, 2009, OCamlAutobuild presentation at Caml Consortium meeting 2009 — OCamlCore.com
• Dec 07, 2009, Why 2.23 is available and updates the Frama-C Jessie plugin. — Frama-C
• Dec 03, 2009, User manual now available. — Frama-C
• Dec 01, 2009, camljava for recent JVMs — Stefano Zacchiroli

November 2009

• Nov 30, 2009, Why 2.22 is available and updates the Frama-C Jessie plugin. — Frama-C
• Nov 28, 2009, Enforcing type-safe linking using package dependencies — Stefano Zacchiroli
• Nov 19, 2009, OCaml on Ubuntu: looking for a new maintainer — David Mentré
• Nov 17, 2009, Binary packages for Mac OS X are available and contain the Jessie plugin. — Frama-C
• Nov 13, 2009, jane street core 0.6.0 has arrived — Stefano Zacchiroli

October 2009

• Oct 20, 2009, Why 2.21 release is available and contains the Frama-C Jessie plugin. — Frama-C
• Oct 20, 2009, A bundle Beryllium-20090902 + Why-2.21Value Analysis — Frama-C
• Oct 12, 2009, ocaml-autoconf 1.1 — Stefano Zacchiroli
• Oct 07, 2009, Why 2.20 release is available and contains the Frama-C Jessie plugin. — Frama-C
• Oct 02, 2009, Updated manual available for the Value Analysis — Frama-C

September 2009

• Sep 23, 2009, Release Beryllium 20090902 is available. Enjoy! — Frama-C
• Sep 01, 2009, Release Beryllium 20090901 is available. Enjoy! — Frama-C

August 2009

• Aug 19, 2009, Announcing Ssreflect version 1.2 — Coq
• Aug 04, 2009, ocaml 3.11.1 in testing — Stefano Zacchiroli

July 2009

• Jul 23, 2009, Transition to OCaml 3.11.1 has started in Karmic — David Mentré
• Jul 19, 2009, ocaml.m4 is now in the ocaml-tools package — Stefano Zacchiroli
• Jul 16, 2009, Illumination — David Baelde (mrpingouin)
• Jul 04, 2009, Coq 8.2pl1 is out ! — Coq

June 2009

• Jun 25, 2009, Transition to OCaml 3.11.1 has started in Debian — David Mentré
• Jun 23, 2009, Release Beryllium 20090601 beta 1 is available for testing — Frama-C
• Jun 18, 2009, Ubuntu 9.10 will ship with OCaml 3.11.0... for now — David Mentré
• Jun 12, 2009, Objective Caml 3.11.1 released — Caml INRIA
• Jun 11, 2009, OCaml 3.11.0 on Ubuntu Karmic Koala nearly complete — David Mentré
• Jun 09, 2009, A tactic for deciding Kleene algebras — Coq
• Jun 04, 2009, Mise en boîte — David Baelde (mrpingouin)

May 2009

• May 28, 2009, Une nouvelle application demexp en web avec web2py — David Mentré
• May 28, 2009, Lwt and Concurrent ML — Jake Donham
• May 12, 2009, Sudoku in ocamljs, part 3: functional reactive programming — Jake Donham
• May 04, 2009, Sudoku in ocamljs, part 2: RPC over HTTP — Jake Donham

April 2009

• Apr 27, 2009, Sudoku in ocamljs, part 1: DOM programming — Jake Donham
• Apr 23, 2009, Monadic functional reactive AJAX in OCaml — Jake Donham
• Apr 23, 2009, New manual and tutorial available for the Value Analysis — Frama-C
• Apr 09, 2009, Migration of bug tracking systemto server — Frama-C
• Apr 06, 2009, ocaml 3.11 in testing — Stefano Zacchiroli
• Apr 03, 2009, ocaml batteries in Debian unstable — Stefano Zacchiroli

March 2009

• Mar 31, 2009, First Asian-Pacific Coq Summer School — Coq
• Mar 25, 2009, The Coq workshop 2009 — Coq
• Mar 11, 2009, Announcing LNgen — Coq
• Mar 10, 2009, A locally-nameless backend for Ott — Coq
• Mar 09, 2009, OCaml revisions for each Ubuntu release — David Mentré
• Mar 05, 2009, Some comments on extprot — David Mentré

February 2009

• Feb 26, 2009, List of Ubuntu patches applied to Debian OCaml packages — David Mentré
• Feb 23, 2009, Serveurs web haute performance — David Mentré
• Feb 19, 2009, Up-to-date status of OCaml packages on Ubuntu — David Mentré
• Feb 16, 2009, Frama-C training session Tuesday, March 31 2009 — Frama-C
• Feb 15, 2009, Coq 8.2 has arrived — Coq
• Feb 13, 2009, SimCorp becomes member of the Caml Consortium — Caml INRIA
• Feb 10, 2009, Equeue compared to Lwt — Jake Donham
• Feb 09, 2009, Frama-C Lithium Mac OS X binary distribution available — Frama-C
• Feb 04, 2009, OCaml users' meeting in Grenoble — Caml INRIA

January 2009

• Jan 28, 2009, Reading Camlp4, part 4: consuming OCaml ASTs — Jake Donham
• Jan 23, 2009, Coq 8.2 release candidate — Coq
• Jan 22, 2009, Reading Camlp4, part 3: quotations in depth — Jake Donham
• Jan 20, 2009, Rtime 0.9.0 — Daniel Bünzli
• Jan 20, 2009, React 0.9.0 — Daniel Bünzli

December 2008

• Dec 12, 2008, Frama-C Lithium released — Frama-C
• Dec 08, 2008, Bug-fix release for Coq 8.1 — Coq
• Dec 04, 2008, Objective Caml 3.11.0 released — Caml INRIA

October 2008

• Oct 29, 2008, ACSL 1.4 released — Frama-C
• Oct 13, 2008, Exercice — David Baelde (mrpingouin)
• Oct 10, 2008, OCamlCore joins The Caml Consortium — OCamlCore.com
• Oct 08, 2008, OCamlCore at OCaml Meeting 2009 — OCamlCore.com

September 2008

• Sep 19, 2008, OCamlCore becomes member of the Caml Consortium — Caml INRIA

June 2008

• Jun 17, 2008, Release of Coq 8.2 (beta) — Coq
• Jun 11, 2008, Uuidm 0.9.0 — Daniel Bünzli
• Jun 06, 2008, Announcing Ssreflect 1.1 — Coq
• Jun 03, 2008, CEA becomes member of the Caml Consortium — Caml INRIA

May 2008

• May 09, 2008, New CoLoR release — Coq
• May 06, 2008, R mode in Chamo — Cameleon news (Zoggy)

April 2008

• Apr 30, 2008, OCamlbuild support in Chamo — Cameleon news (Zoggy)

March 2008

• Mar 17, 2008, Xmlm 1.0.0 — Daniel Bünzli

February 2008

• Feb 29, 2008, Objective Caml 3.10.2 released — Caml INRIA
• Feb 15, 2008, Le nouveau site est en ligne ! — Coq
• Feb 10, 2008, The power of doing nothing.... — Till Varoquaux
• Feb 03, 2008, OCaml write-only — David Baelde (mrpingouin)

January 2008

• Jan 11, 2008, Objective Caml 3.10.1 released — Caml INRIA

November 2007

• Nov 28, 2007, Bilingual "hello world" — Till Varoquaux
• Nov 21, 2007, Enigmes — David Baelde (mrpingouin)
• Nov 20, 2007, Jane Street Capital becomes member of the Caml Consortium — Caml INRIA

September 2007

• Sep 01, 2007, XenSource becomes member of the Caml Consortium — Caml INRIA

July 2007

• Jul 18, 2007, Application — David Baelde (mrpingouin)

June 2007

• Jun 24, 2007, Preserving atomicity in IO operations — Till Varoquaux
• Jun 15, 2007, Intel becomes member of the Caml Consortium — Caml INRIA
• Jun 03, 2007, Phun with phantom types!! — Till Varoquaux

May 2007

• May 17, 2007, Objective Caml 3.10 released — Caml INRIA

September 2006

• Sep 15, 2006, Objective Caml 3.09.3 released (bug-fix) — Caml INRIA

April 2006

• Apr 14, 2006, Objective Caml 3.09.2 released (bug-fix) — Caml INRIA

January 2006

• Jan 04, 2006, Objective Caml 3.09.1 released (bug-fix) — Caml INRIA

November 2005

• Nov 18, 2005, New bug tracker for OCaml — Caml INRIA

October 2005

• Oct 27, 2005, Objective Caml 3.09 released — Caml INRIA

August 2005

• Aug 16, 2005, Objective Caml 3.08.4 released (bug-fix) — Caml INRIA

March 2005

• Mar 17, 2005, Objective Caml 3.08.3 released (bug-fix) — Caml INRIA
• Mar 14, 2005, New web site — Caml INRIA

November 2004

• Nov 01, 2004, Objective Caml 3.08.2 released (bug-fix) — Caml INRIA

September 2004

• Sep 20, 2004, An Objective Caml program wins the judge's prize at the ICFP 2004 programming contest. — Caml INRIA

August 2004

• Aug 01, 2004, Objective Caml 3.08.1 released (bug-fix) — Caml INRIA

July 2004

• Jul 01, 2004, Objective Caml 3.08 released — Caml INRIA

October 2003

• Oct 01, 2003, Objective Caml 3.07 released — Caml INRIA

August 2003

• Aug 01, 2003, An Objective Caml program wins the "lightning division" at the ICFP 2003 programming contest. — Caml INRIA

October 2002

• Oct 01, 2002, An Objective Caml program wins first prize at the ICFP 2002 programming contest. — Caml INRIA

August 2002

• Aug 01, 2002, Bug-fix release 3.06 of Objective Caml. — Caml INRIA

July 2002

• Jul 01, 2002, Objective Caml 3.05 released. — Caml INRIA

April 2002

• Apr 01, 2002, A preliminary version of the book Developing applications with Objective Caml is available online. — Caml INRIA

January 1970

• Jan 01, 1970, CocanWiki — OCamlCore Forge Projects
• Jan 01, 1970, OCamlCore.org theme (deprecated) — OCamlCore Forge Projects
• Jan 01, 1970, HLins — OCamlCore Forge Projects
• Jan 01, 1970, Tor Status Analyzer — OCamlCore Forge Projects
• Jan 01, 1970, monitor — OCamlCore Forge Projects
• Jan 01, 1970, Adlib JoCaml — OCamlCore Forge Projects
• Jan 01, 1970, Cloud Proxy — OCamlCore Forge Projects
• Jan 01, 1970, Template Project — OCamlCore Forge Projects
• Jan 01, 1970, Site News Admin — OCamlCore Forge Projects
• Jan 01, 1970, Site Admin — OCamlCore Forge Projects