Copyright 2013 OCaml Forge Fri, 24 May 2013 00:19:16 GMT OCaml Forge Full Project Listing http://forge.ocamlcore.org/ gforge@forge.ocamlcore.org en-us https://forge.ocamlcore.org/projects/merlin/ Context sensitive completion and interactive error-reporting for Ocaml in Vim and Emacs. https://forge.ocamlcore.org/projects/test-darcs/ This project is a test for darcs. https://forge.ocamlcore.org/projects/test-git/ This project is a test for git. https://forge.ocamlcore.org/projects/test-svn/ This project is a test for subversion. https://forge.ocamlcore.org/projects/sekred/ This program helps to manage passwords set automatically and stored in a semi-secure way. It is not a secure storage for password because only the Unix ACL system protects the secret. The system is designed to be a companion tool for puppet. https://forge.ocamlcore.org/projects/ocurl/ bindings to libcurl <http://curl.haxx.se/libcurl/>. This is a continuation of <http://ocurl.sourceforge.net/>, with multi API wrappers and pluggable asynchronous interface. https://forge.ocamlcore.org/projects/ocaml-efl/ An OCaml interface to the Enlightenment Foundation Libraries (EFL) https://forge.ocamlcore.org/projects/tptp/ Library for reading and writing FOF and CNF formulas in TPTP format. Depends on: zarith https://forge.ocamlcore.org/projects/cryptodbm/ Library for creating and reading encrypted databases (serverless, encrypted key-value databases). https://forge.ocamlcore.org/projects/canswer/ Canswer is an OCaml library allowing one to do certain rewriting. It is a support tool for the CQA (Certain Query Answering) research.