4652 search results for ""

Showing 2401 - 2450
  1. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  2. minimal
    Documentation
    Minima.l, a minimal Lisp
    Xavier R. Guérin
    1.0.0
    ISC
    Used by 0 other packages
    23 Jan 2018
  3. minios-xen
    Documentation
    A minimal OS for running under the Xen hypervisor
    Thomas Leonard <talex5@gmail.com>
    0.9
    BSD; some optional GPL components
    Used by 1 other packages
    24 Dec 2015
  4. minisat
    Documentation
    Bindings to the SAT solver Minisat, with the solver included.
    minisat solver SAT
    simon.cruanes.2007@m4x.org
    0.6
    BSD-2-clause
    Used by 2 other packages
    14 Jun 2023
  5. minivpt
    Documentation
    Minimalist vantage point tree implementation in OCaml
    Francois BERENGER
    2.0.0
    BSD-3-Clause
    Used by 1 other packages
    20 Nov 2017
  6. minttea
    Documentation
    A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleTea
    tui terminal-ui framework riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    29 Dec 2023
  7. miou

    No documentation

    Composable concurrency primitives for OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.1
    MIT
    Used by 10 other packages
    12 Jan 2026
  8. mirage
    Documentation
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.10.4
    ISC
    Used by 4 other packages
    25 Nov 2025
  9. mirage-block
    Documentation
    Block signatures and implementations for MirageOS
    org:mirage
    David Scott Thomas Gazagnaire
    3.0.2
    ISC
    Used by 22 other packages
    29 Nov 2022
  10. mirage-block-ccm
    Documentation
    AES-CCM encrypted Mirage Mirage_types.BLOCK storage
    Stefan Grundmann <sg2342@googlemail.com>
    2.0.0
    ISC
    Used by 0 other packages
    17 Feb 2023
  11. mirage-block-combinators
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    3.0.2
    ISC
    Used by 6 other packages
    29 Nov 2022
  12. mirage-block-lwt
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    1.2.0
    ISC
    Used by 6 other packages
    04 Feb 2019
  13. mirage-block-partition
    Documentation
    Mirage block device partitioning
    Reynir Björnsson <reynir@reynir.dk>
    0.2.0
    ISC
    Used by 0 other packages
    21 Mar 2024
  14. mirage-block-ramdisk
    Documentation
    In-memory BLOCK device for MirageOS
    org:mirage
    David Scott
    0.6
    ISC
    Used by 2 other packages
    21 May 2025
  15. mirage-block-solo5
    Documentation
    Solo5 implementation of MirageOS block interface
    org:mirage
    Dan Williams Martin Lucina
    0.8.1
    ISC
    Used by 1 other packages
    29 Nov 2022
  16. mirage-block-unikraft
    Documentation
    Unikraft implementation of MirageOS block interface
    org:mirage
    Fabrice Buoro <fabrice@tarides.com> Samuel Hym <samuel@tarides.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    29 Jun 2025
  17. mirage-block-unix
    Documentation
    MirageOS disk block driver for Unix
    org:mirage
    Dave Scott <dave@recoil.org>
    2.14.2
    ISC
    Used by 11 other packages
    15 Sep 2022
  18. mirage-block-xen
    Documentation
    MirageOS block driver for Xen that implements the blkfront/back protocol
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott Thomas Leonard
    2.1.3
    ISC
    Used by 0 other packages
    09 May 2024
  19. mirage-bootvar
    Documentation
    Boot time arguments for MirageOS
    org:mirage
    Anil Madhavapeddy Dan Williams Hannes Mehnert Jon Ludlam Magnus Skjegstad et al.
    1.0.1
    ISC
    Used by 0 other packages
    22 May 2024
  20. mirage-btrees
    Documentation
    An implementation of BTrees designed for use with MirageOS's BLOCK interface
    ruhatch <ruhatch@me.com>
    0.1.0
    MIT
    Used by 0 other packages
    19 Feb 2016
  21. mirage-channel
    Documentation
    Buffered channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    5.0.0
    ISC
    Used by 7 other packages
    02 Jun 2025
  22. mirage-channel-lwt
    Documentation
    Buffered Lwt channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    3.2.0
    ISC
    Used by 4 other packages
    07 Feb 2019
  23. mirage-clock
    Documentation
    Libraries and module types for portable clocks
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 37 other packages
    27 Mar 2022
  24. mirage-clock-lwt
    Documentation
    Lwt-based implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    2.0.0
    ISC
    Used by 3 other packages
    02 Jan 2019
  25. mirage-clock-unix
    Documentation
    Unix-based implementation for the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 21 other packages
    27 Mar 2022
  26. mirage-conduit
    Documentation
    MirageOS interface to network connections
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    3.2.0
    ISC
    Used by 2 other packages
    16 Jul 2019
  27. mirage-console
    Documentation
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 2 other packages
    27 Jun 2019
  28. mirage-console-lwt
    Documentation
    Implementation of Mirage consoles using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 1 other packages
    27 Jun 2019
  29. mirage-crypto
    Documentation
    Simple symmetric cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.0.2
    ISC
    Used by 22 other packages
    25 Aug 2025
  30. mirage-crypto-ec
    Documentation
    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Virgile Robles <virgile.robles@protonmail.ch> et al.
    2.0.2
    MIT
    Used by 8 other packages
    25 Aug 2025
  31. mirage-crypto-pk
    Documentation
    Simple public-key cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.0.2
    ISC
    Used by 12 other packages
    25 Aug 2025
  32. mirage-crypto-rng
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.0.2
    ISC
    Used by 57 other packages
    25 Aug 2025
  33. mirage-crypto-rng-async
    Documentation
    Feed the entropy source in an Async-friendly way
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.3
    ISC
    Used by 1 other packages
    27 Feb 2024
  34. mirage-crypto-rng-eio
    Documentation
    Feed the entropy source in an eio-friendly way
    Bikal Gurung <gbikal@gmail.com>
    1.2.0
    ISC
    Used by 5 other packages
    02 Feb 2025
  35. mirage-crypto-rng-lwt
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    1.2.0
    ISC
    Used by 7 other packages
    02 Feb 2025
  36. mirage-crypto-rng-miou-unix
    Documentation
    Feed the entropy source in an miou.unix-friendly way
    Romain Calascibetta <romain.calascibetta@gmail.com>
    2.0.2
    ISC
    Used by 6 other packages
    25 Aug 2025
  37. mirage-crypto-rng-mirage
    Documentation
    Entropy collection for a cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.0.2
    BSD-2-Clause
    Used by 3 other packages
    25 Aug 2025
  38. mirage-device
    Documentation
    Abstract devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    2.0.0
    ISC
    Used by 2 other packages
    21 Oct 2019
  39. mirage-dns

    No documentation

    DNS implementation for the MirageOS unikernel framework
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets et al.
    3.1.3
    ISC
    Used by 2 other packages
    15 Jul 2019
  40. mirage-flow
    Documentation
    Flow implementations and combinators for MirageOS
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 33 other packages
    06 Feb 2025
  41. mirage-flow-combinators
    Documentation
    Flow implementations and combinators for MirageOS specialized to lwt
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 4 other packages
    06 Feb 2025
  42. mirage-flow-lwt
    Documentation
    Flow implementations and combinators for MirageOS specialized to lwt
    org:mirage
    Thomas Gazagnaire Dave Scott
    1.6.0
    ISC
    Used by 10 other packages
    24 Apr 2019
  43. mirage-flow-unix
    Documentation
    Flow implementations and combinators for MirageOS on Unix
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 1 other packages
    06 Feb 2025
  44. mirage-fs
    Documentation
    MirageOS signatures for filesystem devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    4.0.0
    ISC
    Used by 2 other packages
    15 Nov 2021
  45. mirage-fs-lwt
    Documentation
    MirageOS signatures for filesystem devices using Lwt
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    2.0.0
    ISC
    Used by 2 other packages
    28 Feb 2019
  46. mirage-kv
    Documentation
    MirageOS signatures for key/value devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
    6.1.1
    ISC
    Used by 13 other packages
    03 Apr 2023
  47. mirage-kv-lwt
    Documentation
    MirageOS signatures for key/value devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
    2.0.0
    ISC
    Used by 5 other packages
    25 Feb 2019
  48. mirage-kv-mem
    Documentation
    In-memory key value store for MirageOS
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    4.0.1
    ISC
    Used by 2 other packages
    01 Oct 2025
  49. mirage-kv-unix
    Documentation
    Key-value store for MirageOS backed by Unix filesystem
    org:mirage
    Mindy Preston Hannes Mehnert Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer
    3.0.1
    ISC
    Used by 0 other packages
    18 Apr 2024
  50. mirage-logs
    Documentation
    A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps
    org:mirage
    Thomas Leonard
    3.0.0
    ISC
    Used by 5 other packages
    06 Feb 2025
... 48 49 50 ... 94