OCaml logo
77 Search Results
albatross
Albatross - orchestrate and manage MirageOS unikernels with Solo5
Hannes Mehnert <hannes@mehnert.org>
1.5.1
ISC
Used by 0 other packages
arp
Address Resolution Protocol purely in OCaml
Hannes Mehnert <hannes@mehnert.org>
3.0.0
ISC
Used by 7 other packages
arp-mirage
Address Resolution Protocol for MirageOS
Hannes Mehnert <hannes@mehnert.org>
2.2.1
ISC
Used by 2 other packages
awa
SSH implementation in OCaml
Christiano F. Haesbaert <haesbaert@haesbaert.org> Hannes Mehnert <hannes@mehnert.org>
0.1.1
ISC
Used by 4 other packages
awa-mirage
SSH implementation in OCaml
Hannes Mehnert <hannes@mehnert.org>
0.1.1
ISC
Used by 2 other packages
ca-certs
Detect root CA certificates from the operating system
org:mirage
Etienne Millon <me@emillon.org>, Hannes Mehnert <hannes@mehnert.org>
0.2.3
ISC
Used by 7 other packages
ca-certs-nss
X.509 trust anchors extracted from Mozilla's NSS
org:mirage
Hannes Mehnert <hannes@mehnert.org>
3.83
ISC
Used by 5 other packages
caldav
A CalDAV server
org:mirage org:robur
Stefanie Schirmer @linse Hannes Mehnert
0.1.1
ISC
Used by 0 other packages
conex
Establishing trust in community repositories
Hannes Mehnert <hannes@mehnert.org>
0.11.1
BSD-2-Clause
Used by 1 other packages
conex-mirage-crypto
Establishing trust in community repositories: crypto provided via mirage-crypto
Hannes Mehnert <hannes@mehnert.org>
0.11.1
BSD-2-Clause
Used by 0 other packages
conex-nocrypto
Establishing trust in community repositories: crypto provided via nocrypto
Hannes Mehnert <hannes@mehnert.org>
0.11.0
BSD-2-Clause
Used by 0 other packages
crunch
Convert a filesystem into a static OCaml module
org:mirage org:xapi-project
Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
3.3.1
ISC
Used by 18 other packages
dns
An opinionated Domain Name System (DNS) library
Hannes Mehnert <hannes@mehnert.org> Reynir Björnsson <reynir@reynir.dk>
6.3.0
BSD-2-Clause
Used by 13 other packages
dns-certify
MirageOS let's encrypt certificate retrieval
Hannes Mehnert <hannes@mehnert.org>
6.3.0
BSD-2-Clause
Used by 1 other packages
dns-cli
Unix command line utilities using uDNS
Hannes Mehnert <hannes@mehnert.org>
6.3.0
BSD-2-Clause
Used by 0 other packages
dns-mirage
An opinionated Domain Name System (DNS) library
Hannes Mehnert <hannes@mehnert.org>
6.3.0
BSD-2-Clause
Used by 4 other packages
dns-resolver
DNS resolver business logic
Hannes Mehnert <hannes@mehnert.org>
6.3.0
BSD-2-Clause
Used by 1 other packages
dns-server
DNS server, primary and secondary
Hannes Mehnert <hannes@mehnert.org>
6.3.0
BSD-2-Clause
Used by 3 other packages
dns-stub
DNS stub resolver
Hannes Mehnert <hannes@mehnert.org>
6.3.0
BSD-2-Clause
Used by 0 other packages
dns-tsig
TSIG support for DNS
Hannes Mehnert <hannes@mehnert.org>
6.3.0
BSD-2-Clause
Used by 6 other packages
dnssec
DNSSec support for OCaml-DNS
Hannes Mehnert <hannes@mehnert.org> Reynir Björnsson <reynir@reynir.dk>
6.3.0
BSD-2-Clause
Used by 2 other packages
domain-name
RFC 1035 Internet domain names
Hannes Mehnert <hannes@mehnert.org>
0.4.0
ISC
Used by 24 other packages
duration
Conversions to various time units
Hannes Mehnert <hannes@mehnert.org>
0.2.0
ISC
Used by 44 other packages
ethernet
OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
org:mirage
Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire Vincent Bernardoff Magnus Skjegstad Mindy Preston Thomas Leonard David Scott Gabor Pali Hannes Mehnert Haris Rotsos Kia Luke Dunstan Pablo Polvorin Tim Cuthbertson lnmx pqwy
3.0.0
ISC
Used by 10 other packages
gmap
Heterogenous maps over a GADT
Hannes Mehnert <hannes@mehnert.org>
0.3.0
ISC
Used by 3 other packages
hkdf
HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)
Hannes Mehnert <hannes@mehnert.org>
1.0.4
BSD-2-Clause
Used by 1 other packages
icalendar
A library to parse and print the iCalendar (RFC 5545) format
org:mirage org:robur
Stefanie Schirmer @linse Hannes Mehnert
0.1.6
ISC
Used by 2 other packages
letsencrypt
ACME implementation in OCaml
Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
0.4.1
BSD-2-clause
Used by 3 other packages
letsencrypt-app
ACME implementation in OCaml
Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
0.4.1
BSD-2-clause
Used by 0 other packages
letsencrypt-dns
DNS solver for ACME implementation in OCaml
Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
0.4.1
BSD-2-clause
Used by 1 other packages
logs-syslog
Logs reporter to syslog (UDP/TCP/TLS)
Hannes Mehnert <hannes@mehnert.org>
0.3.1
ISC
Used by 0 other packages
memtrace-mirage
Streaming client for Memprof using MirageOS API
Jane Street Group, LLC <opensource@janestreet.com> Hannes Mehnert <hannes@mehnert.org>
0.2.1.2.2
MIT
Used by 1 other packages
metrics-influx
Influx reporter for the Metrics library
Hannes Mehnert
0.4.0
ISC
Used by 3 other packages
metrics-mirage
Mirage backend for the Metrics library
Hannes Mehnert
0.3.0
ISC
Used by 0 other packages
metrics-rusage
Resource usage (getrusage) sources for the Metrics library
Reynir Bjoernsson Hannes Mehnert
0.4.0
ISC
Used by 2 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.2.1
ISC
Used by 4 other packages
mirage-bootvar-unix
Unix implementation of MirageOS Bootvar interface
org:mirage
Hannes Mehnert <hannes@mehnert.org>
0.1.0
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 40 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
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 46 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 2 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-fs-mem
In-memory file system for for MirageOS
org:mirage org:robur
Stefanie Schirmer @linse Hannes Mehnert
0.1.0
ISC
Used by 0 other packages
mirage-fs-unix
Passthrough filesystem for MirageOS on Unix
org:mirage
Mindy Preston Hannes Mehnert Anil Madhavapeddy Thomas Gazagnaire
1.7.0
Used by 4 other packages
mirage-kv
MirageOS signatures for key/value devices
org:mirage
Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
5.0.0
ISC
Used by 8 other packages
mirage-kv-lwt
MirageOS signatures for key/value devices
org:mirage
Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
2.0.0
ISC
Used by 11 other packages
mirage-kv-mem
In-memory key value store for MirageOS
org:mirage org:robur
Stefanie Schirmer @linse Hannes Mehnert
3.0.0
ISC
Used by 2 other packages
mirage-kv-unix
Key-value store for MirageOS backed by Unix filesystem
org:mirage
Mindy Preston Hannes Mehnert Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer
2.1.0
Used by 0 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-fd
MirageOS network interfaces using raw sockets
Anil Madhavapeddy David Scott Thomas Gazagnaire Hannes Mehnert
0.2.1
ISC
Used by 0 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-net-unix
Unix implementation of the Mirage_net_lwt interface
Anil Madhavapeddy David Scott Thomas Gazagnaire Hannes Mehnert
3.0.0
ISC
Used by 0 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 21 other packages
mirage-random-stdlib
Random device implementation using the OCaml stdlib
org:mirage
Thomas Gazagnaire Hannes Mehnert
0.1.0
ISC
Used by 0 other packages
mirage-random-test
Stub random device implementation for testing
org:mirage
Hannes Mehnert
0.1.0
ISC
Used by 7 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.2.1
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 33 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 11 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
otr
Off the record implementation purely in OCaml
Hannes Mehnert <hannes@mehnert.org>
0.3.10
BSD-2-Clause
Used by 0 other packages
patch
Patch library purely in OCaml
Hannes Mehnert <hannes@mehnert.org>
1.0.0
ISC
Used by 0 other packages
randomconv
Convert from random byte vectors (Cstruct.t) to random native numbers
Hannes Mehnert <hannes@mehnert.org>
0.1.3
ISC
Used by 12 other packages
tcpip
OCaml TCP/IP networking stack, used in MirageOS
org:mirage
Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire Vincent Bernardoff Magnus Skjegstad Mindy Preston Thomas Leonard David Scott Gabor Pali Hannes Mehnert Haris Rotsos Kia Luke Dunstan Pablo Polvorin Tim Cuthbertson lnmx pqwy
7.1.2
ISC
Used by 39 other packages
tls
Transport Layer Security purely in OCaml
org:mirage
David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
0.15.3
BSD-2-Clause
Used by 43 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.3
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.3
BSD-2-Clause
Used by 10 other packages
tlstunnel
Tunnel -- a TLS reverse proxy
Hannes Mehnert <hannes@mehnert.org>
0.2.0
BSD-2-Clause
Used by 0 other packages
u2f
Universal Second Factor (U2F) implementation in OCaml
Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
0.1.2
BSD-2-Clause
Used by 0 other packages
webauthn
WebAuthn - authenticating users to services using public key cryptography
Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
0.1.0
BSD-2-Clause
Used by 0 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.1
BSD-2-Clause
Used by 24 other packages