94 search results for "author:"Thomas Leonard""
Showing 51 - 94
-
Irmin, a distributed database that follows the same design principles as Git3.9.0ISCUsed by 13 other packages11 Oct 2023
-
Generic file-system backend for Irmin3.9.0ISCUsed by 2 other packages11 Oct 2023
-
Git backend for Irmin3.9.0ISCUsed by 3 other packages11 Oct 2023
-
HTTP client and server for Irmin3.8.0ISCUsed by 1 other packages06 Jul 2023
-
Irmin backend using the web-browser's IndexedDB store2.0ISCUsed by 0 other packages11 Jan 2020
-
Generic in-memory Irmin stores2.3.0ISCUsed by 7 other packages12 Jan 2021
-
Irmin test suite3.9.0ISCUsed by 10 other packages11 Oct 2023
-
Unix backends for Irmin3.3.2ISCUsed by 2 other packages27 Jul 2022
-
Run Lwt code within Eio0.5ISCUsed by 0 other packages30 Aug 2023
-
A minimal OS for running under the Xen hypervisor0.9BSD; some optional GPL componentsUsed by 2 other packages24 Dec 2015
-
The MirageOS library operating system4.4.1ISCUsed by 4 other packages22 Nov 2023
-
MirageOS block driver for Xen that implements the blkfront/back protocol2.1.1ISCUsed by 0 other packages19 Apr 2022
-
MirageOS interface to network connections3.2.0ISCUsed by 5 other packages16 Jul 2019
-
Abstract devices for MirageOS2.0.0ISCUsed by 8 other packages21 Oct 2019
-
A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps2.1.0ISCUsed by 5 other packages18 Oct 2023
-
Network signatures for MirageOS4.0.0ISCUsed by 13 other packages19 Nov 2021
-
Network signatures for MirageOS2.0.0ISCUsed by 11 other packages24 Feb 2019
-
Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol2.1.3ISCUsed by 1 other packages24 Jul 2023
-
Collect runtime profiling information in CTF format0.9.1BSD-2-clauseUsed by 22 other packages09 Jul 2019
-
Collect runtime profiling information in CTF format0.9.1BSD-2-clauseUsed by 0 other packages09 Jul 2019
-
Collect runtime profiling information in CTF format0.9.1BSD-2-clauseUsed by 0 other packages09 Jul 2019
-
Implementations of various Qubes protocols for MirageOS0.9.3BSD-2-ClauseUsed by 1 other packages08 Sep 2022
-
Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS0.9.3BSD-2-ClauseUsed by 0 other packages08 Sep 2022
-
Random-related devices for MirageOS3.0.0ISCUsed by 24 other packages15 Nov 2021
-
The base MirageOS runtime library, part of every MirageOS unikernel4.4.1ISCUsed by 10 other packages22 Nov 2023
-
Time operations for MirageOS3.0.0ISCUsed by 38 other packages15 Nov 2021
-
Time operations for MirageOS with Lwt1.3.0ISCUsed by 20 other packages18 Jun 2019
-
Time operations for MirageOS on Unix3.0.0ISCUsed by 13 other packages15 Nov 2021
-
Module type definitions for MirageOS applications3.10.8ISCUsed by 5 other packages22 Dec 2021
-
0.9.3Used by 3 other packages19 Jun 2017
-
Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol2.1.3ISCUsed by 1 other packages24 Jul 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 39 other packages14 Mar 2023
-
Client library for Prometheus monitoring1.2Apache-2.0Used by 16 other packages16 Jun 2022
-
Client library for Prometheus monitoring1.2Apache-2.0Used by 14 other packages16 Jun 2022
-
An implementation of the 9p protocol in pure OCaml2.0.2ISCUsed by 7 other packages09 Feb 2022
-
An implementation of the 9p protocol in pure OCaml2.0.2ISCUsed by 0 other packages09 Feb 2022
-
A Unix implementation of the 9p protocol in pure OCaml2.0.2ISCUsed by 9 other packages09 Feb 2022
-
Binding to the SHA cryptographic functions1.15.4ISCUsed by 16 other packages23 Jan 2023
-
OCaml TCP/IP networking stack, used in MirageOS8.0.0ISCUsed by 45 other packages19 Mar 2023
-
0.17.3BSD-2-ClauseUsed by 2 other packages21 Nov 2023
-
OCaml bindings for Linux io_uring0.8ISC; MITUsed by 1 other packages12 Oct 2023
-
VPN-friendly networking devices for HyperKit0.2.0Used by 0 other packages03 Jan 2018
-
Xen grant table bindings for OCaml4.0.1Used by 10 other packages13 Apr 2022
-
Xen grant table bindings for OCaml4.0.1Used by 3 other packages13 Apr 2022