14 search results for "author:"Google""
Showing 1 - 14
-
Virtual package relying on a LevelDB lib system installation2BSD-3-ClauseUsed by 1 other packages24 Jul 2021
-
Package relying on net-snmp libs1.0.0MITUsed by 1 other packages03 Jan 2018
-
Package relying on libnuma0.1.0MITUsed by 1 other packages11 Dec 2017
-
Virtual package to install protoc compiler4.4.0BSD-3-ClauseUsed by 2 other packages15 Mar 2023
-
Virtual package to install protobuf cpp headers1.0.0BSD-3-ClauseUsed by 1 other packages29 Apr 2024
-
Primitives for Elliptic Curve Cryptography taken from Fiat0.2.3MITUsed by 2 other packages03 Nov 2020
-
json_of_jsonm_lib is a JSON encoder and decoder library that converts text to and from a1.0.0MITUsed by 0 other packages02 Feb 2018
-
Jsonxt - JSON parsers for files, strings and more1.0.1MITUsed by 0 other packages04 Jun 2021
-
AES-CCM encrypted Mirage Mirage_types.BLOCK storage2.0.0ISCUsed by 0 other packages17 Feb 2023
-
Elliptic Curve Cryptography with primitives taken from Fiat1.1.0MITUsed by 7 other packages21 Aug 2024
-
Interface to Linux NUMA API0.1.0MITUsed by 0 other packages11 Dec 2017
-
OCRA (OATH Challenge-Response Algorithm) implementation in OCaml1.0.4BSD-2-ClauseUsed by 0 other packages25 Mar 2020
-
sibylfs
No documentation
formal specification and oracle-based testing for POSIX file systems0.5.0Used by 0 other packages04 Oct 2015 -
An implementation of an Earley-like algorithm, designed for simplicity.2017-11-14eUsed by 0 other packages16 Nov 2017