examachine

OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol

Parallel all-pairs similarity search algorithms in ocaml #ocaml

Digital-Red is a collection of succinct, elegant OCaml implementations of the algorithms in the famous MIT red book of algorithms.

Ocaml implementation of some randomized computational geometry algorithms

An OCaml implementation of the Micro-Synthetic algorithm to verify a new theory of pattern discovery.