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
Project link: https://isabelle.sketis.net/repos/sha1