sha1

Owner: makarius

Category: Library

SHA1 library (foreign language C)

The GNU SHA1 library in C, via foreign language interface. This is integrated into Poly/ML as bundled for Isabelle (see also https://isabelle.sketis.net/repos/isabelle/file/tip/src/Pure/General/sha1.ML)

Dependencies:

Platform: Linux, Windows, macOS

Poly/ML version:

Licence: GPL

Download link:

Project link: https://isabelle.sketis.net/repos/sha1