Irminsule: a branch-consistent distributed library database

Paper on Irmin branch-consistent distributed database library supporting Git-like operations at OCaml Workshop 2014.

Paper at the OCaml Workshop introducing Irmin (then called Irminsule), a branch-consistent distributed library database that brings Git-like operations to application data. This work with Thomas Gazagnaire and collaborators introduced mergeable persistent data structures that could be used to build eventually-consistent distributed systems. Irmin has since become a foundational component of MirageOS and other distributed OCaml applications.

Read more about Irminsule: a branch-consistent distributed library database.