Nov 26, 2014, Height, Depth and Level of a Tree — Xinuo Chen
Nov 20, 2014, Menhir — Yan Shvartzshnaider
Nov 18, 2014, Cmdliner 0.9.6 — Daniel Bünzli
Nov 13, 2014, The Magic of Thunk - Async — Xinuo Chen
Nov 13, 2014, The Magic of Thunk - Lazy — Xinuo Chen
Nov 13, 2014, "Good news, everyone!" - OCaml.org teaching page is live! — Yan Shvartzshnaider
Nov 06, 2014, Bloomberg joins the Caml Consortium — Caml INRIA
Nov 05, 2014, Batch Operations on Collections — Cedeela (simon)
Nov 03, 2014, Undefined caml_atom_table — Psellos

October 2014

Oct 31, 2014, Irmin Irmin on the wall, who is the pretiest of them all - Moana — Yan Shvartzshnaider
Oct 31, 2014, Coq 8.4pl5 is out — Coq
Oct 27, 2014, Visualising an asynchronous monad — Thomas Leonard
Oct 23, 2014, MoanaML - status report — Yan Shvartzshnaider
Oct 22, 2014, Release of OASIS 0.4.5 — Sylvain Le Gall (gildor)
Oct 17, 2014, Haskell : A neat trick for GHCi — Erik de Castro Lopo
Oct 14, 2014, OCaml 4.02.1 released — Caml INRIA
Oct 06, 2014, Ocaml teaching resources — Yan Shvartzshnaider
Oct 02, 2014, Learning OCAML: OcaIDE — Yan Shvartzshnaider
Oct 01, 2014, Ocsigen: releases of Js_of_ocaml, Eliom, Server, Macaque, Tyxml — Ocsigen project (Ocsigen team)

September 2014

Sep 23, 2014, Eighth OCaml compiler hacking evening (at Mill Lane, by the river) — OCaml Labs compiler hacking
Sep 23, 2014, Receiving the Judge’s prize for the ICFP programming contest 2014 — Cryptosense
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 10, 2014, Some Notes on Building and Running Mirage Unikernels on Cubieboard2 — Phil Tomson
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 21, 2014, OCaml on iOS 7 Released — Psellos
Aug 19, 2014, Announcing Camlhighlight 3.0 — Dario Teixeira
Aug 17, 2014, I Am Unikernel (And So Can You!) — Mindy Preston
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 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 18, 2014, Coq is hiring a specialized engineer for 2 years — Coq
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 13, 2014, Thackers-Tiny-Computer-3 — Andy Ray
Jul 09, 2014, Cooperative Concurrency in OCaml: A Core.Std.Async Example — Phil Tomson
Jul 08, 2014, How to Set the Evil Bit — Mindy Preston
Jul 07, 2014, Parsers Optional — Mindy Preston
Jul 03, 2014, ppx and extension points — LexiFi

June 2014

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 24, 2014, Highlights from recent sessions — OCaml Labs compiler hacking
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 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 30, 2014, Stop the Presses: OCaml Wins in Terms of Speed — Phil Tomson
May 30, 2014, Comparing a Machine Learning Algorithm Implemented in F# and OCaml — Phil Tomson
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 26, 2014, Ocsigen Eliom 4.0 — Ocsigen project (Ocsigen team)
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 14, 2014, Drawing Happy Little Trees: Tree Meditation #2 — Phil Tomson
May 12, 2014, Coq 8.4pl4 is out — Coq
May 12, 2014, CUFP 2014 Call for Tutorials — CUFP
May 09, 2014, New Cambridgian summer — Daniel Bünzli

April 2014

Apr 29, 2014, Coding Happy Little Trees: Tree Meditation #1 — Phil Tomson
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 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 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, Ocsigen Js_of_ocaml 2.0 — Ocsigen project (Ocsigen team)
Apr 10, 2014, Inlined records in constructors — LexiFi
Apr 07, 2014, Grepping the source of every OCaml package in OPAM — Anil Madhavapeddy
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, Release of OASIS 0.4.3 — Sylvain Le Gall (gildor)
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, C++ Dusty Corner #5379: 0 Is Sometimes a Special Number — Phil Tomson
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 26, 2014, Ocsigen 2013/2014 — Ocsigen project (Ocsigen team)
Feb 23, 2014, Release of OASIS 0.4.2 — Sylvain Le Gall (gildor)
Feb 14, 2014, Update on Typeful Normalization by Evaluation — Matthias Puech
Feb 11, 2014, Fourth OCaml compiler hacking session — OCaml Labs compiler hacking
Feb 09, 2014, Cmdliner 0.9.4 — Daniel Bünzli
Feb 04, 2014, Representing Lazy Values — Cedeela (simon)
Feb 04, 2014, How to handle success — OCaml Labs compiler hacking

January 2014

Jan 13, 2014, Unikernels, and the Rise of the Virtual Library Operating System — Anil Madhavapeddy
Jan 08, 2014, When QuickCheck Fails Me — Erik de Castro Lopo

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 23, 2013, Gen_server in Ocaml — Orbitz (orbitz)
Dec 14, 2013, Writing a Planner to solve a tricky programming optimization problem — Richard Jones
Dec 12, 2013, Release of OASIS 0.4.0 — Sylvain Le Gall (gildor)

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 09, 2013, opam2debian, a tool to create Debian binary package out of OPAM — Sylvain Le Gall (gildor)
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 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 29, 2013, OUnit 2.0, official release — Sylvain Le Gall (gildor)
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, OUnit 2.0 progress, September 2013 — Sylvain Le Gall (gildor)
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 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, OUnit 2.0 progress, August 2013 — Sylvain Le Gall (gildor)
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 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, OASIS website updated — Sylvain Le Gall (gildor)
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 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 09, 2013, Experimenting in API Design: Riakc — Orbitz (orbitz)
Jul 04, 2013, On the book « OCaml from the very beginning » — Daniel Bünzli
Jul 04, 2013, Riakc In Five Minutes — Orbitz (orbitz)
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 09, 2013, QuickCheck for OCaml — Cedeela (simon)
May 04, 2013, malloc() is the new gensym() — Matthias Puech

April 2013

Apr 28, 2013, Is Growth Really an End in Itself? — Phil Tomson
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)
Apr 04, 2013, Sekred a password helper for puppet. — Sylvain Le Gall (gildor)

March 2013

Mar 17, 2013, [ANN] Riakc 0.0.0 — Orbitz (orbitz)
Mar 17, 2013, [ANN] Protobuf 0.0.2 — Orbitz (orbitz)
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 28, 2013, Try Besport! The new Ocsigen based social network about sport — Ocsigen project (Ocsigen team)
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
Feb 07, 2013, [ANN] ocaml-vclock - 0.0.0 — Orbitz (orbitz)
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 11, 2013, Static exceptions — LexiFi
Jan 05, 2013, Winter distribution — Daniel Bünzli
Jan 04, 2013, Experiences using Result.t vs Exceptions in Ocaml — Orbitz (orbitz)
Jan 03, 2013, Introduction to Result.t vs Exceptions in Ocaml — Orbitz (orbitz)
Jan 01, 2013, Using the Graphics Module in the OCaml Toplevel — Phil Tomson
Jan 01, 2013, First Post — Phil Tomson

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
Dec 10, 2012, Ocsigen Eliom 3.0 released — Ocsigen project (Ocsigen team)
Dec 06, 2012, Ocsigen Js_of_ocaml 1.3 released — Ocsigen project (Ocsigen team)

November 2012

Nov 29, 2012, Journée de cours Ocsigen à Paris - Développement d'applications Web en OCaml — Ocsigen project (Ocsigen team)
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
Oct 24, 2012, Announcing OCaml-bitcoin 1.0 — Dario Teixeira
Oct 24, 2012, Ocsigen HOWTO: call JS functions from OCaml — Ocsigen project (Ocsigen team)
Oct 23, 2012, OCamlXSim 3.1 for Mountain Lion — Psellos
Oct 18, 2012, OCamlXARM 3.1 for Mountain Lion — Psellos
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, The Ocsigen cheatsheet — Ocsigen project (Ocsigen team)
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 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
Aug 02, 2012, A Helping Phantom Hand — Matías Giovannini
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 (niki vazou)
Jul 19, 2012, Theorems for Free: The Monad Edition — Matías Giovannini
Jul 17, 2012, An Odd Lemma — Matías Giovannini
Jul 17, 2012, Preliminary Program for CUFP 2012 Talks available! — CUFP
Jul 12, 2012, A minor branch off Braun Trees — Matías Giovannini
Jul 11, 2012, CUFP 2012 Tutorial Schedule & Registration is now up! — CUFP
Jul 09, 2012, Existential Crisis — Matías Giovannini
Jul 04, 2012, Opa 1.0.4 Released — Opa (HB)
Jul 02, 2012, Assessing Abstractions — Matías Giovannini

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
Jun 29, 2012, Syntax extensions without Camlp4: let's do it! — LexiFi
Jun 28, 2012, 2D Interpolation, Part 4: ARGB Interpolation — Matías Giovannini
Jun 27, 2012, Opa: Post 1.0 Status Update — Opa (HB)
Jun 27, 2012, 2D Interpolation, Part 3: Linear Array Accesses — Matías Giovannini
Jun 26, 2012, 2D Interpolation, Part 2: Minimizing Array Accesses — Matías Giovannini
Jun 25, 2012, 2D Interpolation, Part 1: The Digital Differential Analyzer — Matías Giovannini
Jun 22, 2012, 2D Interpolation, Part 0: The Groundwork — Matías Giovannini
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 08, 2012, Ocsigen Eliom 2.2 released — Ocsigen project (Ocsigen team)
Jun 07, 2012, OCaml 4 beta — Gaius Hammond
Jun 06, 2012, New release: Opa 0.9.3 — Opa (Adam Koprowski)

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, Ocsigen Eliom 2.1 released — Ocsigen project (Ocsigen team)
Mar 29, 2012, Programming tools UX: How we made MongoDB even easier to use with Opa — Opa (Adam Koprowski)
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 19, 2012, Ocsigen Js_of_ocaml 1.1 released — Ocsigen project (Ocsigen team)
Mar 19, 2012, Ocsigen Server 2.0.4 released — Ocsigen project (Ocsigen team)
Mar 17, 2012, Spring release — Daniel Bünzli
Mar 12, 2012, OpaHOWTOs — Opa (Adam Koprowski)
Mar 11, 2012, Tail-recursive map in OCaml — Cedeela (simon)
Mar 09, 2012, Ocsigen TyXML 2.0.2 released — Ocsigen project (Ocsigen team)
Mar 09, 2012, New release: Opa 0.9.1 — Opa (Adam Koprowski)

February 2012

Feb 28, 2012, Node.js vs. Opa: Web Framework Showdown — Opa (Adam Koprowski)
Feb 27, 2012, Debugging memory in OCaml: any advice? — Paolo Donadeo
Feb 27, 2012, Opa 0.9.0: New syntax — Opa (Adam Koprowski)
Feb 22, 2012, For the Right Hand — Matías Giovannini
Feb 20, 2012, Spotlight on Opa app: OpaDo by Tristan Sloughter — Opa (Adam Koprowski)
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 (Adam Koprowski)
Feb 10, 2012, Opa presentation at a game development meetup, GameJS — Opa (Adam Koprowski)

January 2012

Jan 27, 2012, Training courses on Frama-C are proposed by Atos Formation (in French). — Frama-C
Jan 27, 2012, New js_of_ocaml example: Hyperbolic tree viewer — Ocsigen project (Ocsigen team)
Jan 24, 2012, Benchmarking and QuickChecking readInt. — Erik de Castro Lopo
Jan 23, 2012, CUFP 2012 is on the way — CUFP
Jan 19, 2012, Happy new year from the Ocsigen team — Ocsigen project (Ocsigen team)
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
Jan 11, 2012, Eighteen Million Noises — Matías Giovannini
Jan 09, 2012, Putting Noise to the Test — Matías Giovannini
Jan 06, 2012, Perlin's Simplex Noise — Matías Giovannini
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
Dec 29, 2011, Vose's Alias Method — Matías Giovannini
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
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
Nov 11, 2011, Modular Semantics for Brainfuck — Matías Giovannini
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
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, Ocsigen: bugfixes release 2.0.1 — Ocsigen project (Ocsigen team)
Sep 21, 2011, Ocsigen 2.0 released! — Ocsigen project (Ocsigen team)
Sep 15, 2011, New logo and new Website for the Ocsigen project — Ocsigen project (Ocsigen team)
Sep 13, 2011, Propose a BOF! — CUFP
Sep 12, 2011, Second release candidate of Ocsigen 2.0 — Ocsigen project (Ocsigen team)
Sep 09, 2011, Segmentation Faults, TAP and Eclipse — Gaius Hammond
Sep 06, 2011, Goodbye MLstate, goodbye Opa — David Teller
Sep 04, 2011, One Year On — Gaius Hammond
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 22, 2011, Putting it all together: PubSub for OCaml with Coherence — Gaius Hammond
Aug 17, 2011, Coq Programming with Subsets — Sebastien Mondet

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 27, 2011, Paving the way for the RC — Ocsigen project (Ocsigen team)
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 12, 2011, Release of Lwt version 2.3.0 — Ocsigen project (Ocsigen team)
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 26, 2011, OCaml Debian News — Sylvain Le Gall (gildor)
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 05, 2011, An extensive post on translating between OCaml Scheme and Haskell — Eray Özkural
Feb 04, 2011, Announcement Mailing List — ODNS project
Feb 01, 2011, Release of ODNS and ring 0.2 — ODNS project

January 2011

Jan 31, 2011, Non-blocking MPI calls for O'Caml — Eray Özkural
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, Implicit values — LexiFi
Dec 01, 2010, OCaml extensions at LexiFi: semi-implicit laziness — LexiFi
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 22, 2010, Compiling pcre-ocaml with Visual Studio 2008 — Sylvain Le Gall (gildor)
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 20, 2010, Unison on windows tips — Sylvain Le Gall (gildor)
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 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 10, 2010, Dirty fix for omlet vim extension — Sylvain Le Gall (gildor)
Sep 01, 2010, ocamlnet-3.0.0 — Grant Rettke
Sep 01, 2010, OCaml 3.12 with Debian Sid right now! — Sylvain Le Gall (gildor)

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, OCaml 3.12.0 is out: watch the movie — Sylvain Le Gall (gildor)
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 18, 2009, OCaml cryptokit and Java PBEWithMD5AndDES — Sylvain Le Gall (gildor)
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 23, 2009, OCaml meeting 2009, subscription about to end — Sylvain Le Gall (gildor)
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

November 2008

Nov 09, 2008, OCaml meeting 2008 participants — Sylvain Le Gall (gildor)

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