Skip to content

Highly Leveraging OCaml's GADTs to Implement a Type Safe Persistent Merkle Tree

Notifications You must be signed in to change notification settings

o1pranay/Type-Safe-Persistent-Merkle-Trees

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Merkle Tree

A type safe implementation of a merkle tree. This implementation exploits a lot of usages of GADTs

Presentation

I made a presentation for my impelementation. You can find it the directory my-presentation/spectacle.

Here are the instructions to run the presentation:

  1. cd my-presentation/spectacle
  2. npm run build
  3. npm start

npm start should run a local server on localhost:3060. The slides was created with Spectacle.

About

Highly Leveraging OCaml's GADTs to Implement a Type Safe Persistent Merkle Tree

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 61.6%
  • JavaScript 36.1%
  • HTML 2.3%