GitHub repository: wu-s-john/Type-Safe-Persistent-Merkle-Trees
Primary language: OCaml
Description: Highly Leveraging OCaml's GADTs to Implement a Type Safe Persistent Merkle Tree