212 Search Results
ca-certs-nss
X.509 trust anchors extracted from Mozilla's NSS
caldav
A CalDAV server
certify
CLI utilities for simple X509 certificate manipulation
channel
MirageOS channels
charrua-client
DHCP client implementation
charrua-client-lwt
A DHCP client using lwt as effectful layer
charrua-client-mirage
A DHCP client for MirageOS
cohttp-lwt-unix-nossl
CoHTTP implementation for Unix and Windows using Lwt
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
3.0.0
ISC
Used by 2 other packages
cohttp-lwt-unix-ssl
CoHTTP implementation for Unix and Windows using Lwt
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
3.0.0
ISC
Used by 0 other packages
conduit-async
A network connection establishment library for Async
conduit-async-ssl
A network connection establishment library using Async and OpenSSL
conduit-async-tls
A network connection establishment library using Async and ocaml-tls
conduit-lwt
A portable network connection establishment library using Lwt
6.1.0
ISC
Used by 11 other packages
conduit-lwt-ssl
A portable network connection establishment library using Lwt and OpenSSL
3.0.0
ISC
Used by 1 other packages
conduit-lwt-tls
A portable network connection establishment library using Lwt and ocaml-tls
3.0.0
ISC
Used by 1 other packages
conduit-lwt-unix
A network connection establishment library for Lwt_unix
6.1.0
ISC
Used by 18 other packages
conduit-mirage
A network connection establishment library for MirageOS
conf-cosmopolitan
Virtual package relying on APE/Cosmopolitan
cowabloga
Simple static blogging support
cstruct
Access C-like structures directly from OCaml
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
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
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
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
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
depyt
Yet-an-other type combinator library
dns-async
DNS implementation using the Async concurrency framework
Anil Madhavapeddy
Tim Deegan
Richard Mortier
Haris Rotsos
David Sheets
Thomas Gazagnaire
Luke Dunstan
David Scott
1.1.3
ISC
Used by 0 other packages
dns-lwt
DNS implementation in portable Lwt
Anil Madhavapeddy
Tim Deegan
Richard Mortier
Haris Rotsos
David Sheets
Thomas Gazagnaire
Luke Dunstan
David Scott
1.1.3
ISC
Used by 3 other packages
dns-lwt-unix
DNS implementation for Unix and Windows using Lwt_unix
Anil Madhavapeddy
Tim Deegan
Richard Mortier
Haris Rotsos
David Sheets
Thomas Gazagnaire
Luke Dunstan
David Scott
1.1.3
ISC
Used by 0 other packages
dnssd
DNS Service Discovery for macOS
dockerfile
Dockerfile eDSL in OCaml
Anil Madhavapeddy
Anton Kochkov
Antonin Décimo
David Allsopp
Ewan Mellor
Kate Deplaix
Louis Gesbert
Mark Elvers
Thomas Leonard
Tim McGilchrist
8.1.0
ISC
Used by 5 other packages
dockerfile-cmd
Dockerfile eDSL -- generation support
Anil Madhavapeddy
Anton Kochkov
Antonin Décimo
David Allsopp
Ewan Mellor
Kate Deplaix
Louis Gesbert
Mark Elvers
Thomas Leonard
Tim McGilchrist
8.1.0
ISC
Used by 1 other packages
dockerfile-opam
Dockerfile eDSL -- opam support
Anil Madhavapeddy
Anton Kochkov
Antonin Décimo
David Allsopp
Ewan Mellor
Kate Deplaix
Louis Gesbert
Mark Elvers
Thomas Leonard
Tim McGilchrist
8.1.0
ISC
Used by 1 other packages
dyntype
syntax extension which makes OCaml types and values easier to manipulate programmatically
esperanto
An OCaml compiler with Cosmopolitan
esperanto-cosmopolitan
Cosmopolitan toolchain for OCaml compiler
ethernet
OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
ezjsonm
Simple interface on top of the Jsonm JSON library
ezjsonm-lwt
Simple Lwt-based interface to the Jsonm JSON library
ezxmlm
Combinators for parsing and selection of XML structures
fat-filesystem
Pure OCaml implementation of the FAT filesystem
fd-send-recv
Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
2.0.2
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 8 other packages
fiat-p256
Primitives for Elliptic Curve Cryptography taken from Fiat
functoria-runtime
Runtime support library for functoria-generated code
4.3.2
ISC
Used by 3 other packages
github
GitHub APIv3 OCaml library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 6 other packages
github-data
GitHub APIv3 data library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 1 other packages
github-jsoo
GitHub APIv3 JavaScript library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 0 other packages
github-unix
GitHub APIv3 Unix library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 5 other packages
icalendar
A library to parse and print the iCalendar (RFC 5545) format
io-page
Support for efficient handling of I/O memory pages
io-page-unix
Support for efficient handling of I/O memory pages on Unix
io-page-xen
Support for efficient handling of I/O memory pages on Xen
ipaddr
A library for manipulation of IP (and MAC) address representations
ipaddr-cstruct
A library for manipulation of IP address representations using Cstructs
ipaddr-sexp
A library for manipulation of IP address representations using sexp
libvhd
OCaml bindings for the C library 'libvhd' which allows the manipulation
libvirt
Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
macaddr
A library for manipulation of MAC address representations
macaddr-cstruct
A library for manipulation of MAC address representations using Cstructs
macaddr-sexp
A library for manipulation of MAC address representations using sexp
memcpy
Safe and efficient copying between blocks of memory.
minima-theme
OCaml port of the Jekyll Minima theme
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-block
Block signatures and implementations for MirageOS
mirage-block-combinators
Block signatures and implementations for MirageOS using Lwt
mirage-block-lwt
Block signatures and implementations for MirageOS using Lwt
mirage-block-ramdisk
In-memory BLOCK device for MirageOS
mirage-block-solo5
Solo5 implementation of MirageOS block interface
mirage-block-unix
MirageOS disk block driver for Unix
mirage-block-xen
MirageOS block driver for Xen that implements the blkfront/back protocol
mirage-bootvar-solo5
Solo5 implementation of MirageOS Bootvar interface
Dan Williams <djwillia@us.ibm.com>
Magnus Skjegstad <magnus@skjegstad.com>
Martin Lucina <martin@lucina.net>
0.6.0
ISC
Used by 0 other packages
mirage-bootvar-unix
Unix implementation of MirageOS Bootvar interface
mirage-channel
Buffered channels for MirageOS FLOW types
mirage-channel-lwt
Buffered Lwt channels for MirageOS FLOW types
mirage-clock
Libraries and module types for portable clocks
mirage-clock-freestanding
Paravirtual implementation of the MirageOS Clock interface
mirage-clock-lwt
Lwt-based implementation of the MirageOS Clock interface
mirage-clock-solo5
Paravirtual implementation of the MirageOS Clock interface
mirage-clock-unix
Unix-based implementation for the MirageOS Clock interface
mirage-clock-xen
A Mirage-compatible Clock library for Xen
mirage-conduit
MirageOS interface to network connections
mirage-console
Implementations of Mirage console devices
mirage-console-lwt
Implementation of Mirage consoles using Lwt
mirage-console-solo5
Solo5 implementation of MirageOS console interface
Anil Madhavapeddy <anil@recoil.org>
Dan Williams <djwillia@us.ibm.com>
Martin Lucina <martin@lucina.net>
0.8.0
ISC
Used by 0 other packages
mirage-console-unix
Implementation of Mirage consoles for Unix
mirage-console-xen
Implementation of Mirage console for Xen
mirage-console-xen-backend
Implementation of Mirage console backend for Xen
mirage-console-xen-cli
Libraries for interacting with the Xen console command-line interface.
mirage-console-xen-proto
Implementation of Mirage console protocol for Xen
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-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-flow
Flow implementations and combinators for MirageOS
mirage-flow-combinators
Flow implementations and combinators for MirageOS specialized to lwt
mirage-flow-lwt
Flow implementations and combinators for MirageOS specialized to lwt
mirage-flow-rawlink
Expose rawlink interfaces as MirageOS flows
mirage-flow-unix
Flow implementations and combinators for MirageOS on Unix
mirage-fs
MirageOS signatures for filesystem devices
mirage-fs-lwt
MirageOS signatures for filesystem devices using Lwt
mirage-fs-mem
In-memory file system for for MirageOS
mirage-fs-unix
Passthrough filesystem for MirageOS on Unix
mirage-http
MirageOS-compatible implementation of the Cohttp interfaces
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-logs
A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps
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-net-macosx
MacOS implementation of the Mirage_net_lwt interface
mirage-net-socket
Socket-based networking stack compatible with Mirage
0.9.4
Used by 1 other packages
mirage-net-solo5
Solo5 implementation of MirageOS network interface
Anil Madhavapeddy <anil@recoil.org>
Dan Williams <djwillia@us.ibm.com>
Martin Lucina <martin@lucina.net>
0.8.0
ISC
Used by 0 other packages
mirage-net-xen
Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
mirage-protocols
MirageOS signatures for network protocols
mirage-protocols-lwt
MirageOS signatures for network protocols
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-solo5
Solo5 core platform libraries for MirageOS
Anil Madhavapeddy <anil@recoil.org>
Dan Williams <djwillia@us.ibm.com>
Martin Lucina <martin@lucina.net>
0.9.1
ISC
Used by 7 other packages
mirage-stack
MirageOS signatures for network stacks
mirage-stack-lwt
MirageOS signatures for network stacks
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
mirage-types-lwt
Lwt module type definitions for MirageOS applications
mirage-unix
Unix core platform libraries for MirageOS
mirage-vnetif
Virtual network interface and software switch for Mirage
mirage-vnetif-stack
Vnetif implementation of mirage-stack for Mirage TCP/IP
mirage-xen
Xen core platform libraries for MirageOS
mirage-xen-minios
Xen MiniOS guest operating system library
mirage-xen-ocaml
OCaml runtime compiled for the MirageOS Xen backend
mirror
Mirror upstream OPAM package distribution files
nbd
Network Block Device (NBD) protocol implementation
6.0.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 4 other packages
nbd-tool
Network Block Device (NBD) protocol implementation
6.0.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 0 other packages
nbd-unix
Network Block Device (NBD) protocol implementation
6.0.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 1 other packages
netchannel
Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
nocrypto
Simpler crypto
oasis-mirage
This is a fork of OASIS with support for native output-obj.
obi
interface to OCaml Build Infrastructure
ocaml-freestanding
Freestanding OCaml compiler
ocaml-freestanding-cross-aarch64
Freestanding OCaml compiler
ocaml-solo5
Freestanding OCaml compiler
ocaml-solo5-cross-aarch64
Freestanding OCaml compiler
orm
The ORM library provides a storage backend to persist ML values.
parse-argv
Process strings into sets of command-line arguments
pcap-format
Decode and encode PCAP (packet capture) files
pf-qubes
QubesOS firewall ruleset handling library
ppx_cstruct
Access C-like structures directly from OCaml
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
ppx_deriving_rpc
Ppx deriver for ocaml-rpc, a library to deal with RPCs in OCaml
qcow-format
Read and write images in Qcow2 format
qcow-tool
A command-line tool for manipulating qcow2-formatted data
qmp
OCaml implementation of a Qemu Message Protocol (QMP) client
rpc
A library to deal with RPCs in OCaml - meta-package
rpclib
A library to deal with RPCs in OCaml
rpclib-async
A library to deal with RPCs in OCaml - Async interface
rpclib-html
A library to deal with RPCs in OCaml - html documentation generator
rpclib-js
A library to deal with RPCs in OCaml - Bindings for js_of_ocaml
rpclib-lwt
A library to deal with RPCs in OCaml - Lwt interface
shared-block-ring
A single-consumer single-producer queue on a block device
shared-memory-ring
Shared memory rings for RPC and bytestream communications
shared-memory-ring-lwt
Shared memory rings for RPC and bytestream communications using Lwt
sodium
Binding to libsodium UNAUDITED
David Sheets <sheets@alum.mit.edu>
Peter Zotov <whitequark@whitequark.org>
Benjamin Canou <benjamin@ocamlpro.com>
0.6.0
Used by 2 other packages
tar
Decode and encode tar format files in pure OCaml
tar-format
Decode and encode tar files
tar-mirage
Read and write tar format files via MirageOS interfaces
tar-unix
Decode and encode tar format files from Unix
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-eio
Transport Layer Security purely in OCaml - Eio
tls-mirage
Transport Layer Security purely in OCaml, MirageOS layer
0.15.4
BSD-2-Clause
Used by 11 other packages
travis-senv
Utility to manipulate Travis CI secure environment variables
1.0.0
Used by 0 other packages
uri
An RFC3986 URI/URL parsing library
uri-re
An RFC3986 URI/URL parsing library
uri-sexp
An RFC3986 URI/URL parsing library
vchan
Xen Vchan implementation
vchan-unix
Xen Vchan implementation
vchan-xen
Xen Vchan implementation
vhd-format
Pure OCaml library to read/write VHD format data
0.12.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
vhd-format-lwt
Lwt interface to read/write VHD format data
0.12.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
vhd-tool
A command-line tool to manipulate, transcode and stream .vhd format data.
websocket
Websocket library
websocket-async
Websocket library (Async)
websocket-lwt
Websocket library (Lwt)
websocket-lwt-unix
Websocket library (Lwt)
x509
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
0.16.2
BSD-2-Clause
Used by 26 other packages
xen-api-client
Xen-API client library for remotely-controlling an XCP or XenServer host.
0.9.14
LGPL-2.0-or-later
Used by 1 other packages
xen-block-driver
Xen disk device drivers: both client ("frontend") and server ("backend")
0.2.5
Used by 1 other packages
xen-disk
A command-line tool for attaching disks to VMs running on a xen host.
1.2.1
Used by 0 other packages
xen-evtchn
Xen event channel interface for MirageOS
xen-evtchn-unix
Xen event channel interface for Linux
xenctrl
Low-level Xen hypercall bindings.
David Scott
Jonathan Ludlam
Andrew Cooper
Bob Ball
Euan Harris
John Else
Mike McClurg
Rob Hoes
Si Beaumont
Thomas Sanders
Vincent Bernadoff
0.10.0
LGPL-2.0-or-later
Used by 9 other packages
xenstore_transport
Low-level libraries for connecting to a xenstore service on a xen host
Christian Lindig
David Scott
Euan Harris
John Else
Jon Ludlam
Jonathan Davies
Marcello Seri
Si Beaumont
Thomas Sanders
Vincent Bernardoff
1.3.0
LGPL-2.1-only
Used by 11 other packages
yaml
Parse and generate YAML 1.1/1.2 files
Anil Madhavapeddy <anil@recoil.org>
Rizo Isrof <rizo@odis.io>
Patrick Ferris
favonia@gmail.com
Alan J Hu <alanh@ccs.neu.edu>
3.1.0
ISC
Used by 15 other packages
yaml-sexp
Parse and generate YAML 1.1 files
Anil Madhavapeddy <anil@recoil.org>
Rizo Isrof <rizo@odis.io>
Patrick Ferris
favonia@gmail.com
Alan J Hu <alanh@ccs.neu.edu>
3.1.0
ISC
Used by 1 other packages