39 Search Results
asn1-combinators
Embed typed ASN.1 grammars in OCaml
David Kaloper Meršinjak
0.2.6
ISC
Used by 10 other packages
cpuid
Detect CPU features
David Kaloper Meršinjak <dk505@cam.ac.uk>
0.1.2
ISC
Used by 2 other packages
cstruct
Access C-like structures directly from OCaml
org:mirage org:ocamllabs
Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon
6.1.1
ISC
Used by 231 other packages
cstruct-async
Access C-like structures directly from OCaml
org:mirage org:ocamllabs
Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
6.1.1
ISC
Used by 2 other packages
cstruct-lwt
Access C-like structures directly from OCaml
org:mirage org:ocamllabs
Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
6.1.1
ISC
Used by 28 other packages
cstruct-sexp
S-expression serialisers for C-like structures
org:mirage org:ocamllabs
Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon
6.1.1
ISC
Used by 7 other packages
cstruct-unix
Access C-like structures directly from OCaml
org:mirage org:ocamllabs
Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
6.1.1
ISC
Used by 12 other packages
lru
Scalable LRU caches
David Kaloper Meršinjak <dk505@cam.ac.uk>
0.3.1
ISC
Used by 8 other packages
mirage
The MirageOS library operating system
org:mirage org:xapi-project
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
4.3.2
ISC
Used by 4 other packages
mirage-crypto
Simple symmetric cryptography for the modern age
David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
0.10.7
ISC
Used by 42 other packages
mirage-crypto-entropy
Entropy source for MirageOS unikernels
org:mirage
Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
0.6.2
BSD-2-Clause
Used by 0 other packages
mirage-crypto-pk
Simple public-key cryptography for the modern age
David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
0.10.7
ISC
Used by 20 other packages
mirage-crypto-rng
A cryptographically secure PRNG
David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
0.10.7
ISC
Used by 48 other packages
mirage-crypto-rng-async
Feed the entropy source in an Async-friendly way
David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
0.10.7
ISC
Used by 1 other packages
mirage-crypto-rng-mirage
Entropy collection for a cryptographically secure PRNG
David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
0.10.7
BSD-2-Clause
Used by 0 other packages
mirage-device
Abstract devices for MirageOS
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
2.0.0
ISC
Used by 8 other packages
mirage-entropy
Entropy source for MirageOS unikernels
org:mirage
Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
0.5.1
BSD-2-Clause
Used by 3 other packages
mirage-entropy-unix
MirageOS entropy device
Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
0.2.0
Used by 0 other packages
mirage-entropy-xen
MirageOS entropy device
org:mirage
Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
0.3.0
BSD-2-Clause
Used by 1 other packages
mirage-net
Network signatures for MirageOS
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
4.0.0
ISC
Used by 13 other packages
mirage-net-lwt
Network signatures for MirageOS
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
2.0.0
ISC
Used by 11 other packages
mirage-os-shim
Portable shim for MirageOS OS API
David Kaloper Meršinjak <david@numm.org>
3.1.0
ISC
Used by 1 other packages
mirage-random
Random-related devices for MirageOS
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
3.0.0
ISC
Used by 22 other packages
mirage-runtime
The base MirageOS runtime library, part of every MirageOS unikernel
org:mirage org:xapi-project
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
4.3.2
ISC
Used by 10 other packages
mirage-time
Time operations for MirageOS
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
3.0.0
ISC
Used by 35 other packages
mirage-time-lwt
Time operations for MirageOS with Lwt
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
1.3.0
ISC
Used by 20 other packages
mirage-time-unix
Time operations for MirageOS on Unix
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
3.0.0
ISC
Used by 13 other packages
mirage-types
Module type definitions for MirageOS applications
org:mirage org:xapi-project
Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
3.10.8
ISC
Used by 5 other packages
nocrypto
Simpler crypto
org:mirage
David Kaloper <david@numm.org>
0.5.4-2
ISC
Used by 42 other packages
notty
Declaring terminals
David Kaloper <dk505@cam.ac.uk>
0.2.3
ISC
Used by 11 other packages
ocb-stubblr
OCamlbuild plugin for C stubs
ocamlbuild
David Kaloper Meršinjak <david@numm.org>
0.1.1-1
ISC
Used by 14 other packages
papi
Performance Application Programming Interface (PAPI) bindings
David Kaloper Meršinjak <dk505@cam.ac.uk>
0.1.1
ISC
Used by 0 other packages
ppx_cstruct
Access C-like structures directly from OCaml
org:mirage org:ocamllabs
Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
6.1.1
ISC
Used by 38 other packages
psq
Functional Priority Search Queues
David Kaloper Meršinjak <dk505@cam.ac.uk>
0.2.1
ISC
Used by 10 other packages
sendmsg
π-calculus? In _my_ kernel?
David Kaloper Meršinjak <david@numm.org>
0.0.2
ISC
Used by 0 other packages
tls
Transport Layer Security purely in OCaml
org:mirage
David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
0.15.4
BSD-2-Clause
Used by 47 other packages
tls-async
Transport Layer Security purely in OCaml, Async layer
org:mirage
David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org> Eric Ebinger <github@eric.theebingers.com> Calascibetta Romain <romain.calascibetta@gmail.com>
0.15.4
BSD-2-Clause
Used by 0 other packages
tls-mirage
Transport Layer Security purely in OCaml, MirageOS layer
org:mirage
David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
0.15.4
BSD-2-Clause
Used by 11 other packages
x509
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
org:mirage
Hannes Mehnert <hannes@mehnert.org> David Kaloper <dk505@cam.ac.uk>
0.16.2
BSD-2-Clause
Used by 26 other packages