77 Search Results
ca-certs-nss
X.509 trust anchors extracted from Mozilla's NSS
caldav
A CalDAV server
ethernet
OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
icalendar
A library to parse and print the iCalendar (RFC 5545) format
letsencrypt-dns
DNS solver for ACME implementation in OCaml
0.4.1
BSD-2-clause
Used by 1 other packages
memtrace-mirage
Streaming client for Memprof using MirageOS API
0.2.1.2.2
MIT
Used by 1 other packages
mirage
The MirageOS library operating system
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-bootvar-unix
Unix implementation of MirageOS Bootvar interface
mirage-crypto-ec
Elliptic Curve Cryptography with primitives taken from Fiat
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
mirage-crypto-entropy
Entropy source for MirageOS unikernels
0.6.2
BSD-2-Clause
Used by 0 other packages
mirage-crypto-pk
Simple public-key cryptography for the modern age
0.10.7
ISC
Used by 20 other packages
mirage-crypto-rng-async
Feed the entropy source in an Async-friendly way
0.10.7
ISC
Used by 1 other packages
mirage-crypto-rng-mirage
Entropy collection for a cryptographically secure PRNG
0.10.7
BSD-2-Clause
Used by 0 other packages
mirage-device
Abstract devices for MirageOS
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-fs-mem
In-memory file system for for MirageOS
mirage-fs-unix
Passthrough filesystem for MirageOS on Unix
mirage-kv-mem
In-memory key value store for MirageOS
mirage-kv-unix
Key-value store for MirageOS backed by Unix filesystem
2.1.0
Used by 0 other packages
mirage-net
Network signatures for MirageOS
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
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-random
Random-related devices for MirageOS
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-random-stdlib
Random device implementation using the OCaml stdlib
mirage-random-test
Stub random device implementation for testing
mirage-runtime
The base MirageOS runtime library, part of every MirageOS unikernel
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
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
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
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
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
tcpip
OCaml TCP/IP networking stack, used in MirageOS
tls-async
Transport Layer Security purely in OCaml, Async layer
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
0.15.4
BSD-2-Clause
Used by 11 other packages
u2f
Universal Second Factor (U2F) implementation in OCaml
0.1.2
BSD-2-Clause
Used by 0 other packages
webauthn
WebAuthn - authenticating users to services using public key cryptography
0.1.0
BSD-2-Clause
Used by 0 other packages
x509
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
0.16.2
BSD-2-Clause
Used by 26 other packages