• If you are citizen of an European Union member nation, you may not use this service unless you are at least 16 years old.

  • Introducing Dokkio, a new service from the creators of PBworks. Find and manage the files you've stored in Dropbox, Google Drive, Gmail, Slack, and more. Try it for free today.



This version was saved 13 years, 1 month ago View current version     Page history
Saved by PBworks
on December 30, 2006 at 8:08:24 pm

OCaml user wiki


This wiki is an informal space for discussions and open collaborations related to the use of the OCaml programming language. It is suitable for small or young projects that don't have a dedicated website or mailing-list.


Anyone can edit this wiki, the password is the name of the bytecode compiler.


Suggestion: keep the formatting simple. It makes the transfer to another site easier.


See also:




  • Micmatch: safer regexps for everyday text processing
  • Ocamlscript: write a script, run a native-compiled executable
  • Col: easy and safe IO for lists of records stored as CSV files
  • Caml-get: distribute and get Objective-Caml code, in a way similar to the apt-get utility.
  • Camlp4 tricks
  • Lablgtk2 tricks


Using this wiki:






Special hacks


This wiki has been the target of vandalism. The spammers added a few hundreds of files that were following a simple pattern. Since pbwiki doesn't provide a way of selecting and removing all the files at once, we have to do it ourselves, while being logged in. Here is some javascript that can do the job (it won't work in IE for sure, and worked in opera; may work in firefox, but I haven't tried):


  1. First, you must adapt the code below to go through the list of files that you really want to delete.
  2. Then, type "javascript:" in the URL field (without the quotes), and paste the javascript code below after having made the changes.

var wikiname = 'ocaml';

var xmlhttp = new XMLHttpRequest();


function http_get (url) {

xmlhttp.open("GET", url, true);




for (var i = 0; i <= 600; i++) {

var file = 'index' + i + '.html';

var url =

'http://' + wikiname + '.pbwiki.com/del.php?really=1&o=f&f=' + file +




Comments (0)

You don't have permission to comment on this page.