1 Forks
9 Stars
9 Watchers

mhash

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

How to download and setup mhash

Open terminal and run command
git clone https://github.com/imandra-ai/mhash.git
git clone is used to create a copy or clone of mhash repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with mhash https://github.com/imandra-ai/mhash/archive/master.zip

Or simply clone mhash with SSH
[email protected]:imandra-ai/mhash.git

If you have some problems with mhash

You may open issue on mhash support forum (system) here: https://github.com/imandra-ai/mhash/issues