Commits

David Lazar  committed e5e4356

Add README.

  • Participants
  • Parent commits 20e7598

Comments (0)

Files changed (1)

+# About
+
+This project gives a [Cryptol](http://corp.galois.com/cryptol/) specification of the [SipHash](http://131002.net/siphash/) function.
+
+# Contributing
+
+This project is available on [GitHub](https://github.com/davidlazar/siphash-cryptol) and [Bitbucket](https://bitbucket.org/davidlazar/siphash-cryptol/). You may contribute changes using either.
+
+Please report bugs and feature requests using the [GitHub issue tracker](https://github.com/davidlazar/siphash-cryptol/issues).