13 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
conf-netsnmp
Package relying on net-snmp libs
Steve Bleazard <stevebleazard@googlemail.com>
1.0.0
MIT
Used by 1 other packages
conf-numa
Package relying on libnuma
Steve Bleazard <stevebleazard@googlemail.com>
0.1.0
MIT
Used by 1 other packages
conf-protoc
Virtual package to install protoc compiler
Google
1.0.0
https://github.com/protocolbuffers/protobuf/blob/master/LICENSE
Used by 2 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
json_of_jsonm
json_of_jsonm_lib is a JSON encoder and decoder library that converts text to and from a
Steve Bleazard <stevebleazard@googlemail.com>
1.0.0
MIT
Used by 0 other packages
jsonxt
Jsonxt - JSON parsers for files, strings and more
Steve Bleazard <stevebleazard@googlemail.com>
1.0.1
MIT
Used by 0 other packages
mirage-block-ccm
AES-CCM encrypted Mirage Mirage_types.BLOCK storage
Stefan Grundmann <sg2342@googlemail.com>
1.1.0
ISC
Used by 0 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
numalib
Interface to Linux NUMA API
Steve Bleazard <stevebleazard@googlemail.com>
0.1.0
MIT
Used by 0 other packages
rfc6287
OCRA (OATH Challenge-Response Algorithm) implementation in OCaml
Stefan Grundmann <sg2342@googlemail.com>
1.0.4
BSD-2-Clause
Used by 0 other packages
sibylfs
formal specification and oracle-based testing for POSIX file systems
Tom Ridge <tom.j.ridge@googlemail.com> Thomas Tuerk <tt291@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu> Andrea Giugliano <agiugliano@live.it>
0.5.0
Used by 0 other packages
tjr_simple_earley
An implementation of an Earley-like algorithm, designed for simplicity.
Tom Ridge <tom.j.ridge@googlemail.com>
2017-11-14e
Used by 0 other packages