84 Search Results
bun
Simple management of afl-fuzz processes
Mindy Preston Thomas Leonard
0.3.4
MIT
Used by 0 other packages
capnp-rpc
Cap'n Proto is a capability-based RPC system with bindings for many languages
Thomas Leonard <talex5@gmail.com>
1.2.2
Apache-2.0
Used by 4 other packages
capnp-rpc-lwt
Cap'n Proto is a capability-based RPC system with bindings for many languages
Thomas Leonard <talex5@gmail.com>
1.2.2
Apache-2.0
Used by 5 other packages
capnp-rpc-mirage
Cap'n Proto is a capability-based RPC system with bindings for many languages
Thomas Leonard <talex5@gmail.com>
1.2.2
Apache-2.0
Used by 0 other packages
capnp-rpc-net
Cap'n Proto is a capability-based RPC system with bindings for many languages
Thomas Leonard <talex5@gmail.com>
1.2.2
Apache-2.0
Used by 4 other packages
capnp-rpc-unix
Cap'n Proto is a capability-based RPC system with bindings for many languages
Thomas Leonard <talex5@gmail.com>
1.2.2
Apache-2.0
Used by 3 other packages
conduit
A network connection establishment library
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
6.1.0
ISC
Used by 17 other packages
conduit-async
A network connection establishment library for Async
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
6.1.0
ISC
Used by 3 other packages
conduit-async-ssl
A network connection establishment library using Async and OpenSSL
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
3.0.0
ISC
Used by 1 other packages
conduit-async-tls
A network connection establishment library using Async and ocaml-tls
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
3.0.0
ISC
Used by 0 other packages
conduit-lwt
A portable network connection establishment library using Lwt
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
6.1.0
ISC
Used by 11 other packages
conduit-lwt-ssl
A portable network connection establishment library using Lwt and OpenSSL
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg Romain Calascibetta
3.0.0
ISC
Used by 1 other packages
conduit-lwt-tls
A portable network connection establishment library using Lwt and ocaml-tls
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg Romain Calascibetta
3.0.0
ISC
Used by 1 other packages
conduit-lwt-unix
A network connection establishment library for Lwt_unix
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
6.1.0
ISC
Used by 18 other packages
conduit-mirage
A network connection establishment library for MirageOS
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
6.1.0
ISC
Used by 6 other packages
conduit-tls
A network connection establishment library
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg Romain Calascibetta
3.0.0
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
datakit
Orchestrate applications using a Git-like dataflow
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 2 other packages
datakit-bridge-github
A bidirectional bridge between the GitHub API and Datakit
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 0 other packages
datakit-bridge-local-git
DataKit Local-Git bridge
Thomas Leonard
1.0.0
Apache-1.0+
Used by 0 other packages
datakit-client
A library to construct Datakit clients
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 6 other packages
datakit-client-9p
A library for Datakit clients over 9P
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 5 other packages
datakit-client-git
A library for connecting Datakit client using Git
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 2 other packages
datakit-github
Abstraction of the GitHub API, suitable for DataKit clients
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 3 other packages
datakit-server
A library to write Datakit servers
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 2 other packages
datakit-server-9p
Build Datakit servers using the 9P filesystem protocol
Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
1.0.0
Apache-1.0+
Used by 2 other packages
dockerfile
Dockerfile eDSL in OCaml
org:mirage org:ocamllabs
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
org:mirage org:ocamllabs
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
org:mirage org:ocamllabs
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
eio
Effect-based direct-style IO API for OCaml
Anil Madhavapeddy Thomas Leonard
0.7
ISC
Used by 9 other packages
eio_linux
Eio implementation for Linux using io-uring
Anil Madhavapeddy Thomas Leonard
0.7
ISC
Used by 1 other packages
eio_luv
Eio implementation using luv (libuv)
Anil Madhavapeddy Thomas Leonard
0.7
ISC
Used by 1 other packages
eio_main
Effect-based direct-style IO mainloop for OCaml
Anil Madhavapeddy Thomas Leonard
0.7
ISC
Used by 6 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
functoria
A DSL to organize functor applications
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
4.3.2
ISC
Used by 1 other packages
functoria-runtime
Runtime support library for functoria-generated code
org:mirage
Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
4.3.2
ISC
Used by 3 other packages
irmin
Irmin, a distributed database that follows the same design principles as Git
Thomas Gazagnaire Thomas Leonard
3.5.1
ISC
Used by 13 other packages
irmin-fs
Generic file-system backend for Irmin
Thomas Gazagnaire Thomas Leonard
3.5.1
ISC
Used by 3 other packages
irmin-git
Git backend for Irmin
Thomas Gazagnaire Thomas Leonard
3.5.1
ISC
Used by 4 other packages
irmin-http
HTTP client and server for Irmin
Thomas Gazagnaire Thomas Leonard
3.5.1
ISC
Used by 1 other packages
irmin-indexeddb
Irmin backend using the web-browser's IndexedDB store
Thomas Leonard <talex5@gmail.com>
2.0
ISC
Used by 0 other packages
irmin-mem
Generic in-memory Irmin stores
Thomas Gazagnaire Thomas Leonard
2.3.0
ISC
Used by 7 other packages
irmin-test
Irmin test suite
Thomas Gazagnaire Thomas Leonard
3.5.1
ISC
Used by 9 other packages
irmin-unix
Unix backends for Irmin
Thomas Gazagnaire Thomas Leonard
3.3.2
ISC
Used by 2 other packages
lwt_eio
Run Lwt code within Eio
Thomas Leonard
0.2
ISC
Used by 0 other packages
minios-xen
A minimal OS for running under the Xen hypervisor
Thomas Leonard <talex5@gmail.com>
0.9
BSD; some optional GPL components
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.3.2
ISC
Used by 4 other packages
mirage-block-xen
MirageOS block driver for Xen that implements the blkfront/back protocol
org:mirage org:xapi-project
Anil Madhavapeddy David Scott Thomas Leonard
2.1.1
ISC
Used by 0 other packages
mirage-conduit
MirageOS interface to network connections
org:mirage
Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
3.2.0
ISC
Used by 5 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-logs
A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps
org:mirage
Thomas Leonard
1.2.0
ISC
Used by 6 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-net-xen
Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
org:mirage
Anil Madhavapeddy Thomas Leonard
2.1.2
ISC
Used by 1 other packages
mirage-profile
Collect runtime profiling information in CTF format
Thomas Leonard <talex5@gmail.com>
0.9.1
BSD-2-clause
Used by 22 other packages
mirage-profile-unix
Collect runtime profiling information in CTF format
Thomas Leonard <talex5@gmail.com>
0.9.1
BSD-2-clause
Used by 0 other packages
mirage-profile-xen
Collect runtime profiling information in CTF format
Thomas Leonard <talex5@gmail.com>
0.9.1
BSD-2-clause
Used by 0 other packages
mirage-qubes
Implementations of various Qubes protocols for MirageOS
Thomas Leonard
0.9.3
BSD-2-Clause
Used by 1 other packages
mirage-qubes-ipv4
Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
Thomas Leonard
0.9.3
BSD-2-Clause
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 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
mirage-xen-minios
Xen MiniOS guest operating system library
org:mirage
Anil Madhavapeddy Thomas Leonard
0.9.3
Used by 3 other packages
netchannel
Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
org:mirage
Anil Madhavapeddy Thomas Leonard
2.1.2
ISC
Used by 1 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
prometheus
Client library for Prometheus monitoring
Thomas Leonard David Scott
1.2
Apache-2.0
Used by 15 other packages
prometheus-app
Client library for Prometheus monitoring
Thomas Leonard David Scott
1.2
Apache-2.0
Used by 10 other packages
protocol-9p
An implementation of the 9p protocol in pure OCaml
David Scott David Sheets Thomas Leonard Anil Madhavapeddy
2.0.2
ISC
Used by 7 other packages
protocol-9p-tool
An implementation of the 9p protocol in pure OCaml
David Scott David Sheets Thomas Leonard Anil Madhavapeddy
2.0.2
ISC
Used by 0 other packages
protocol-9p-unix
A Unix implementation of the 9p protocol in pure OCaml
David Scott David Sheets Thomas Leonard Anil Madhavapeddy
2.0.2
ISC
Used by 9 other packages
sha
Binding to the SHA cryptographic functions
Vincent Hanquez Thomas Gazagnaire Goswin von Brederlow Eric Cooper Florent Monnier Forrest L Norvell Vincent Bernadoff David Scott Olaf Hering Arthur Teisseire Nicolás Ojeda Bär Christopher Zimmermann Thomas Leonard Antonin Décimo
1.15.4
ISC
Used by 14 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 44 other packages
tls-eio
Transport Layer Security purely in OCaml - Eio
org:mirage
Thomas Leonard
0.15.5
BSD-2-Clause
Used by 1 other packages
uring
OCaml bindings for Linux io_uring
Anil Madhavapeddy Sadiq Jaffer Thomas Leonard
0.4
ISC; MIT
Used by 1 other packages
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
xen-gnt
Xen grant table bindings for OCaml
Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
4.0.1
Used by 10 other packages
xen-gnt-unix
Xen grant table bindings for OCaml
Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
4.0.1
Used by 3 other packages