41 search results for "author:"David Kaloper""
-
asn1-combinators
Embed typed ASN.1 grammars in OCaml
-
cpuid
Detect CPU features0.1.2ISCUsed by 2 other packagesLast published 03 Apr 2019
-
cstruct
Access C-like structures directly from OCamlAnil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon6.2.0ISCUsed by 232 other packagesLast published 14 Mar 2023
-
cstruct-async
Access C-like structures directly from OCamlAnil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon6.2.0ISCUsed by 2 other packagesLast published 14 Mar 2023
-
cstruct-lwt
Access C-like structures directly from OCamlAnil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon6.2.0ISCUsed by 28 other packagesLast published 14 Mar 2023
-
cstruct-sexp
S-expression serialisers for C-like structuresAnil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon6.2.0ISCUsed by 7 other packagesLast published 14 Mar 2023
-
cstruct-unix
Access C-like structures directly from OCamlAnil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon6.2.0ISCUsed by 12 other packagesLast published 14 Mar 2023
-
lru
Scalable LRU caches0.3.1ISCUsed by 8 other packagesLast published 26 Oct 2022
-
mirage
The MirageOS library operating systemThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier4.3.5ISCUsed by 4 other packagesLast published 21 Mar 2023
-
mirage-crypto
Simple symmetric cryptography for the modern age0.11.1ISCUsed by 43 other packagesLast published 14 Mar 2023
-
mirage-crypto-entropy
Entropy source for MirageOS unikernels0.6.2BSD-2-ClauseUsed by 0 other packagesLast published 19 Mar 2020
-
mirage-crypto-pk
Simple public-key cryptography for the modern age0.11.1ISCUsed by 20 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng
A cryptographically secure PRNG0.11.1ISCUsed by 43 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng-async
Feed the entropy source in an Async-friendly way0.11.1ISCUsed by 1 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng-lwt
A cryptographically secure PRNG0.11.1ISCUsed by 6 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng-mirage
Entropy collection for a cryptographically secure PRNG0.11.1BSD-2-ClauseUsed by 0 other packagesLast published 14 Mar 2023
-
mirage-device
Abstract devices for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier2.0.0ISCUsed by 8 other packagesLast published 21 Oct 2019
-
mirage-entropy
Entropy source for MirageOS unikernels0.5.1BSD-2-ClauseUsed by 3 other packagesLast published 26 Feb 2020
-
mirage-entropy-unix
MirageOS entropy device0.2.0Used by 0 other packagesLast published 10 Mar 2015
-
mirage-entropy-xen
MirageOS entropy device0.3.0BSD-2-ClauseUsed by 1 other packagesLast published 10 Jun 2015
-
mirage-net
Network signatures for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier4.0.0ISCUsed by 13 other packagesLast published 19 Nov 2021
-
mirage-net-lwt
Network signatures for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier2.0.0ISCUsed by 11 other packagesLast published 24 Feb 2019
-
mirage-os-shim
Portable shim for MirageOS OS API3.1.0ISCUsed by 1 other packagesLast published 12 Nov 2018
-
mirage-random
Random-related devices for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.0.0ISCUsed by 23 other packagesLast published 15 Nov 2021
-
mirage-runtime
The base MirageOS runtime library, part of every MirageOS unikernelThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier4.3.5ISCUsed by 10 other packagesLast published 21 Mar 2023
-
mirage-time
Time operations for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.0.0ISCUsed by 37 other packagesLast published 15 Nov 2021
-
mirage-time-lwt
Time operations for MirageOS with LwtThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier1.3.0ISCUsed by 20 other packagesLast published 18 Jun 2019
-
mirage-time-unix
Time operations for MirageOS on UnixThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.0.0ISCUsed by 13 other packagesLast published 15 Nov 2021
-
mirage-types
Module type definitions for MirageOS applicationsThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.10.8ISCUsed by 5 other packagesLast published 22 Dec 2021
-
nocrypto
Simpler crypto
-
notty
Declaring terminals
-
ocb-stubblr
OCamlbuild plugin for C stubs0.1.1-1ISCUsed by 14 other packagesLast published 13 Oct 2018
-
papi
Performance Application Programming Interface (PAPI) bindings0.1.1ISCUsed by 0 other packagesLast published 10 Apr 2019
-
ppx_cstruct
Access C-like structures directly from OCamlAnil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon6.2.0ISCUsed by 39 other packagesLast published 14 Mar 2023
-
psq
Functional Priority Search Queues0.2.1ISCUsed by 10 other packagesLast published 26 Oct 2022
-
sendmsg
π-calculus? In _my_ kernel?0.0.2ISCUsed by 0 other packagesLast published 06 Nov 2016
-
tls
Transport Layer Security purely in OCaml0.17.0BSD-2-ClauseUsed by 46 other packagesLast published 02 Mar 2023
-
tls-async
Transport Layer Security purely in OCaml, Async layerDavid Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org> Eric Ebinger <github@eric.theebingers.com> Calascibetta Romain <romain.calascibetta@gmail.com>0.17.0BSD-2-ClauseUsed by 0 other packagesLast published 02 Mar 2023
-
tls-lwt
Transport Layer Security purely in OCaml, Lwt layer0.17.0BSD-2-ClauseUsed by 9 other packagesLast published 02 Mar 2023
-
tls-mirage
Transport Layer Security purely in OCaml, MirageOS layer0.17.0BSD-2-ClauseUsed by 12 other packagesLast published 02 Mar 2023
-
x509
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml0.16.4BSD-2-ClauseUsed by 28 other packagesLast published 13 Feb 2023