Search OCaml packages
max) { row = max } }" @keyup.up="if (row !== null) { row -=1; if (row < 0) { row = null } }" @keyup.right="if (col < 1) col++" @keyup.left="if (col >= 1) col--" :aria-activedescendant="row !== null ? 'package-autocomplete-'+row+'-'+col : null" hx-get="/packages/autocomplete" hx-params="q" hx-trigger="keyup changed, search" hx-target="#header-search-results" hx-indicator="#header-search-indicator" autocomplete="off" >
Standard Library API
Learn
Tools
Packages
Community
News
Play
Get Started
Search OCaml packages
Learn
Tools
Packages
Community
News
Play
Standard Library API
Get started
News
Changelog
OCaml Planet
Newsletters
▾
Changelog
OCaml Planet
Newsletters
The OCaml Planet
The RSS aggregator for the OCaml community.
The OCaml Planet
OCamlCore at OCaml Meeting 2009
08 Oct 2008 - OCamlCore.com
OCamlCore becomes member of the Caml Consortium
19 Sep 2008 - Caml INRIA
Release of Coq 8.2 (beta)
17 Jun 2008 - Coq
Uuidm 0.9.0
11 Jun 2008 - Daniel Bünzli
Announcing Ssreflect 1.1
06 Jun 2008 - Coq
CEA becomes member of the Caml Consortium
03 Jun 2008 - Caml INRIA
New CoLoR release
09 May 2008 - Coq
R mode in Chamo
A R mode is now available for Chamo, as a separate snippet . By now, this mode has only one key binding, to call the "r_eval" command. This ...
06 May 2008 - Cameleon news
OCamlbuild support in Chamo
The Chamo editor now includes some ocamlbuild support through the internal command "ocaml_build": An ocamlbuild command is proposed to the u...
30 Apr 2008 - Cameleon news
Xmlm 1.0.0
17 Mar 2008 - Daniel Bünzli
...
140
141
142
...
144
If you want to contribute a blog post, or add your RSS feed, check out the
Contributing Guide
on GitHub.