OCaml Library Documentation
===========================

``dirsp-exchange-kbb2017``
--------------------------

- `OCaml Library: dirsp-exchange-kbb2017 <ocaml/dirsp-exchange-kbb2017>`_ - The KBB2017 protocol for securing a two-party conversation. Similar to
  Signal Protocol v3 `[1] <https://signal.org/docs/specifications/x3dh>`_ `[2] <https://signal.org/docs/specifications/doubleratchet>`_

``dirsp-proscript``
-------------------
  
- `OCaml Library: dirsp-proscript <ocaml/dirsp-proscript>`_ - The ProScript Cryptographic Library (PSCL) API interface.

``dirsp-proscript-mirage``
--------------------------

- `OCaml Library: dirsp-proscript-mirage <ocaml/dirsp-proscript-mirage>`_ - A PSCL implementation based on `mirage-crypto` and related libraries

``dirsp-ps2ocaml``
------------------

- `Executable: dirsp-ps2ocaml <ocaml/dirsp-ps2ocaml>`_ - A ProScript to OCaml translator.