4439 search results for ""
Showing 2451 - 2500
-
DNS implementation for the MirageOS unikernel framework3.1.3ISCUsed by 1 other packages15 Jul 2019
-
5.0.0ISCUsed by 33 other packages06 Feb 2025
-
Flow implementations and combinators for MirageOS specialized to lwt5.0.0ISCUsed by 4 other packages06 Feb 2025
-
Flow implementations and combinators for MirageOS specialized to lwt1.6.0ISCUsed by 9 other packages24 Apr 2019
-
5.0.0ISCUsed by 1 other packages06 Feb 2025
-
4.0.0ISCUsed by 2 other packages15 Nov 2021
-
MirageOS signatures for filesystem devices using Lwt2.0.0ISCUsed by 2 other packages28 Feb 2019
-
MirageOS signatures for key/value devices6.1.1ISCUsed by 13 other packages03 Apr 2023
-
MirageOS signatures for key/value devices2.0.0ISCUsed by 5 other packages25 Feb 2019
-
4.0.1ISCUsed by 2 other packages01 Oct 2025
-
Key-value store for MirageOS backed by Unix filesystem3.0.1ISCUsed by 0 other packages18 Apr 2024
-
A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps3.0.0ISCUsed by 5 other packages06 Feb 2025
-
Monitoring of MirageOS unikernels0.0.8AGPL-3.0-onlyUsed by 0 other packages01 Oct 2025
-
Libraries and module types for a monotonic clock5.2.0ISCUsed by 14 other packages01 Sep 2025
-
Mirage-nat is a library for network address translation to be used with MirageOS3.0.2ISCUsed by 0 other packages20 Mar 2023
-
mirage-net
No documentation
Network signatures for MirageOS4.0.0ISCUsed by 9 other packages19 Nov 2021 -
Network signatures for MirageOS2.0.0ISCUsed by 2 other packages24 Feb 2019
-
mirage-net-macosx
No documentation
1.10.0ISCUsed by 0 other packages14 Mar 2022 -
Solo5 implementation of MirageOS network interface0.8.0ISCUsed by 0 other packages27 Mar 2022
-
Unikraft implementation of MirageOS network interface1.0.0BSD-3-ClauseUsed by 0 other packages29 Jun 2025
-
Unix implementation of the Mirage_net_lwt interface3.0.0ISCUsed by 1 other packages16 Mar 2022
-
Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol2.1.7ISCUsed by 0 other packages09 Oct 2025
-
Virtual package conflicting with mirage-solo51BSD-2-ClauseUsed by 2 other packages19 Jul 2016
-
Virtual package conflicting with mirage-xen1BSD-2-ClauseUsed by 2 other packages10 Jun 2015
-
Collect runtime profiling information in CTF format0.9.1BSD-2-clauseUsed by 4 other packages09 Jul 2019
-
7.0.0ISCUsed by 3 other packages15 Nov 2021
-
3.1.0ISCUsed by 1 other packages15 Oct 2019
-
Libraries and module types for portable clocks5.2.0ISCUsed by 20 other packages22 Oct 2025
-
Implementations of various Qubes protocols for MirageOS2.0.0BSD-2-ClauseUsed by 1 other packages13 Feb 2025
-
Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS2.0.0BSD-2-ClauseUsed by 0 other packages13 Feb 2025
-
Random-related devices for MirageOS3.0.0ISCUsed by 14 other packages15 Nov 2021
-
The base MirageOS runtime library, part of every MirageOS unikernel4.10.5ISCUsed by 10 other packages24 Feb 2026
-
Serve static files over HTTPS, using Mirage+ocaml-TLS.0.4.2ISCUsed by 0 other packages28 Jul 2015
-
Sleep operation for MirageOS4.1.0ISCUsed by 20 other packages01 Sep 2025
-
Solo5 core platform libraries for MirageOS0.10.0ISCUsed by 5 other packages06 Feb 2025
-
4.0.0ISCUsed by 3 other packages17 Dec 2021
-
1.4.0ISCUsed by 3 other packages25 Feb 2019
-
MirageOS type-classes0.3.0ISCUsed by 0 other packages18 Dec 2014
-
Time operations for MirageOS3.0.0ISCUsed by 27 other packages15 Nov 2021
-
Time operations for MirageOS with Lwt1.3.0ISCUsed by 7 other packages18 Jun 2019
-
Time operations for MirageOS on Unix3.0.0ISCUsed by 8 other packages15 Nov 2021
-
Module type definitions for MirageOS applications3.6.0ISCUsed by 4 other packages03 Oct 2019
-
3.6.0ISCUsed by 7 other packages03 Oct 2019
-
1.0.0MITUsed by 2 other packages29 Jun 2025
-
5.0.1ISCUsed by 6 other packages15 Sep 2022
-
Virtual network interface and software switch for Mirage0.6.2ISCUsed by 2 other packages23 May 2024
-
9.0.0ISCUsed by 4 other packages06 Feb 2025
-
A library to drive the MIDI system of the Jack Audio Connection Kit.0.0.0MITUsed by 1 other packages07 Sep 2017
-
1.0.0CeCILL-BUsed by 1 other packages20 Jan 2016
-
Composable, applicative and monadic DSL for decoding Yojson values0.2.1BSD-3-ClauseUsed by 0 other packages06 Jan 2024