36 Search Results
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
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
ethernet
OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
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-channel
Buffered channels for MirageOS FLOW types
mirage-channel-lwt
Buffered Lwt channels for MirageOS FLOW types
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-unix
Passthrough filesystem for MirageOS on Unix
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-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-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-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
parse-argv
Process strings into sets of command-line arguments
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
tcpip
OCaml TCP/IP networking stack, used in MirageOS
vpnkit
VPN-friendly networking devices for HyperKit
Anil Madhavapeddy <anil@recoil.org>
David Scott <dave.scott@docker.com>
David Sheets <dsheets@docker.com>
Gaetan de Villele <gdevillele@gmail.com>
Ian Campbell <ian.campbell@docker.com>
Magnus Skjegstad <magnus@skjegstad.com>
Mindy Preston <mindy.preston@docker.com>
Sebastiaan van Stijn <github@gone.nl>
Thomas Gazagnaire <thomas@gazagnaire.com>
Thomas Leonard <thomas.leonard@docker.com>
0.2.0
Used by 0 other packages