Snapshot of OCaml's cryptokit library.
Merge branch 'master' of github.com:GaloisInc/hacrypto
Snapshot of OpenSSL FIPS-related materials, generated by wget -m.
Additional useful papers/reports.
Snapshots of three new libraries' HEADs and three resources.
More papers and talks for reference.