3 search results for "author:"Google Inc.""
Showing 1 - 3
-
conf-leveldb
No documentation
Virtual package relying on a LevelDB lib system installation2BSD-3-ClauseUsed by 1 other packages24 Jul 2021 -
fiat-p256
No documentation
Primitives for Elliptic Curve Cryptography taken from Fiat0.2.3MITUsed by 1 other packages03 Nov 2020 -
mirage-crypto-ec
No documentation
Elliptic Curve Cryptography with primitives taken from Fiat2.1.0MITUsed by 9 other packages17 Mar 2026