3 Search Results
conf-leveldb
Virtual package relying on a LevelDB lib system installation
Jeffrey Dean Sanjay Ghemawat Google Inc.
2
BSD-3-Clause
Used by 1 other packages
fiat-p256
Primitives for Elliptic Curve Cryptography taken from Fiat
org:mirage
Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology
0.2.3
MIT
Used by 2 other packages
mirage-crypto-ec
Elliptic Curve Cryptography with primitives taken from Fiat
org:mirage
Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
0.10.7
MIT
Used by 10 other packages