Stable
Cryptokit
[18-Jun-2012, version
1.6,
Stable]
A library of cryptographic primitives for OCaml.
Fiat-Shamir-ZKP
[25-Aug-2010, version
1.0,
Stable]
An implementation of Fiat and Shamir's zero-knowledge network authentication protocol
OCaml-safepass
[16-Aug-2012, version
1.0.1,
Stable]
OCaml-safepass is a library offering facilities for the safe storage of user passwords. By "safe" we mean that passwords are salted and hashed using the Bcrypt algorithm. Salting prevents rainbow-table based attacks, whereas hashing by a very time-consuming algorithm such as Bcrypt renders brute-force password cracking impractical.
Zarith
[17-Apr-2012, version
1.1,
Stable]
The Zarith library implements arithmetic and logical operations
over arbitrary-precision integers. It uses GMP to efficiently
implement arithmetic over big integers. Small integers are
represented as Caml unboxed integers, for speed and space economy.
Beta
cryptgps
[09-Aug-2001, version
0.2,
Beta]

Symmetric cryptographic algorithms: Blowfish, DES, 3DES.
OCaml-SSL
[28-Nov-2006, version
0.4.0,
Beta]

OCaml bindings for libssl to secure connections by using ssl encryption in your sockets.
passwdgen
[13-Jul-2004, version
0.1,
Beta]
Password generator will return a password of configurable length. It can add special characters, digits, and capital letters to the password as well. The password is more human readable than a completely random secure password. The number of digits, special characters and capital letters is also configurable.