4492 search results for ""

Showing 2501 - 2550
  1. mirage-net-unikraft
    Documentation
    Unikraft implementation of MirageOS network interface
    org:mirage
    Fabrice Buoro <fabrice@tarides.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    29 Jun 2025
  2. mirage-net-unix
    Documentation
    Unix implementation of the Mirage_net_lwt interface
    Anil Madhavapeddy David Scott Thomas Gazagnaire Hannes Mehnert
    3.0.0
    ISC
    Used by 1 other packages
    16 Mar 2022
  3. mirage-net-xen
    Documentation
    Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
    org:mirage
    Anil Madhavapeddy Thomas Leonard
    2.1.7
    ISC
    Used by 0 other packages
    09 Oct 2025
  4. mirage-no-solo5
    Documentation
    Virtual package conflicting with mirage-solo5
    mirageos-devel@lists.xenproject.org
    1
    BSD-2-Clause
    Used by 2 other packages
    19 Jul 2016
  5. mirage-no-xen
    Documentation
    Virtual package conflicting with mirage-xen
    mirageos-devel@lists.xenproject.org
    1
    BSD-2-Clause
    Used by 2 other packages
    10 Jun 2015
  6. mirage-profile
    Documentation
    Collect runtime profiling information in CTF format
    Thomas Leonard <talex5@gmail.com>
    0.9.1
    BSD-2-clause
    Used by 4 other packages
    09 Jul 2019
  7. mirage-protocols
    Documentation
    MirageOS signatures for network protocols
    org:mirage
    Mindy Preston <meetup@yomimono.org>
    7.0.0
    ISC
    Used by 3 other packages
    15 Nov 2021
  8. mirage-protocols-lwt
    Documentation
    MirageOS signatures for network protocols
    org:mirage
    Mindy Preston <meetup@yomimono.org>
    3.1.0
    ISC
    Used by 1 other packages
    15 Oct 2019
  9. mirage-ptime
    Documentation
    Libraries and module types for portable clocks
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray Hannes Mehnert
    5.2.0
    ISC
    Used by 20 other packages
    22 Oct 2025
  10. mirage-qubes
    Documentation
    Implementations of various Qubes protocols for MirageOS
    Thomas Leonard
    2.0.0
    BSD-2-Clause
    Used by 1 other packages
    13 Feb 2025
  11. mirage-qubes-ipv4
    Documentation
    Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
    Thomas Leonard
    2.0.0
    BSD-2-Clause
    Used by 0 other packages
    13 Feb 2025
  12. mirage-random
    Documentation
    Random-related devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.0.0
    ISC
    Used by 14 other packages
    15 Nov 2021
  13. mirage-runtime

    No documentation

    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 et al.
    4.11.0
    ISC
    Used by 10 other packages
    08 May 2026
  14. mirage-seal
    Documentation
    Serve static files over HTTPS, using Mirage+ocaml-TLS.
    Thomas Gazagnaire <thomas@gazagnaire.org>
    0.4.2
    ISC
    Used by 0 other packages
    28 Jul 2015
  15. mirage-sleep
    Documentation
    Sleep operation for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.1.0
    ISC
    Used by 20 other packages
    01 Sep 2025
  16. mirage-solo5
    Documentation
    Solo5 core platform libraries for MirageOS
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.10.0
    ISC
    Used by 5 other packages
    06 Feb 2025
  17. mirage-stack
    Documentation
    MirageOS signatures for network stacks
    org:mirage
    Mindy Preston <meetup@yomimono.org>
    4.0.0
    ISC
    Used by 3 other packages
    17 Dec 2021
  18. mirage-stack-lwt

    No documentation

    MirageOS signatures for network stacks
    org:mirage
    Mindy Preston <meetup@yomimono.org>
    1.4.0
    ISC
    Used by 3 other packages
    25 Feb 2019
  19. mirage-tc
    Documentation
    MirageOS type-classes
    Thomas Gazagnaire
    0.3.0
    ISC
    Used by 0 other packages
    18 Dec 2014
  20. mirage-time
    Documentation
    Time operations for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.0.0
    ISC
    Used by 27 other packages
    15 Nov 2021
  21. mirage-time-lwt
    Documentation
    Time operations for MirageOS with Lwt
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    1.3.0
    ISC
    Used by 5 other packages
    18 Jun 2019
  22. mirage-time-unix
    Documentation
    Time operations for MirageOS on Unix
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.0.0
    ISC
    Used by 8 other packages
    15 Nov 2021
  23. mirage-types
    Documentation
    Module type definitions for MirageOS applications
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.6.0
    ISC
    Used by 4 other packages
    03 Oct 2019
  24. mirage-types-lwt
    Documentation
    Lwt module type definitions for MirageOS applications
    org:mirage org:xapi-project
    The MirageOS team
    3.6.0
    ISC
    Used by 7 other packages
    03 Oct 2019
  25. mirage-unikraft
    Documentation
    Unikraft core platform libraries for MirageOS
    org:mirage
    Fabrice Buoro Samuel Hym
    1.0.0
    MIT
    Used by 2 other packages
    29 Jun 2025
  26. mirage-unix
    Documentation
    Unix core platform libraries for MirageOS
    org:mirage
    The MirageOS team
    5.0.1
    ISC
    Used by 6 other packages
    15 Sep 2022
  27. mirage-vnetif
    Documentation
    Virtual network interface and software switch for Mirage
    org:mirage
    Magnus Skjegstad <magnus@skjegstad.com>
    0.6.2
    ISC
    Used by 2 other packages
    23 May 2024
  28. mirage-xen
    Documentation
    Xen core platform libraries for MirageOS
    org:mirage
    The MirageOS team
    9.0.0
    ISC
    Used by 4 other packages
    06 Feb 2025
  29. misuja
    Documentation
    A library to drive the MIDI system of the Jack Audio Connection Kit.
    Seb Mondet <seb@mondet.org>
    0.0.0
    MIT
    Used by 1 other packages
    07 Sep 2017
  30. mixture
    Documentation
    The Mixture package is a mixin library for the module system
    pattern
    Michael Grünewald
    1.0.0
    CeCILL-B
    Used by 1 other packages
    20 Jan 2016
  31. mjson
    Documentation
    Composable, applicative and monadic DSL for decoding Yojson values
    Marco Schneider <marco.schneider@posteo.de
    0.2.1
    BSD-3-Clause
    Used by 0 other packages
    06 Jan 2024
  32. mkaudio
    Documentation
    CLI program for generating audio files
    John Else <john.else@gmail.com>
    1.1.4
    MIT
    Used by 0 other packages
    19 Mar 2025
  33. mkernel

    No documentation

    An unikernel with Miou in OCaml to provide I/O for Solo5/Unikraft
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.2
    MIT
    Used by 2 other packages
    06 May 2026
  34. mkocaml
    Documentation
    Tool to generate OCaml projects
    Chris Nevers <christophernevers96@gmail.com>
    1.2
    BSD-3-Clause
    Used by 0 other packages
    11 Jun 2021
  35. mlbdd
    Documentation
    An OCaml library for Binary Decision Diagrams (BDDs)
    Arlen Cox <arlencox@gmail.com>
    0.7.3
    MIT
    Used by 3 other packages
    29 Jan 2022
  36. mlcuddidl
    Documentation
    OCaml interface to the CUDD BDD library
    Bertrand Jeannet Nicolas Berthier
    3.0.8
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    09 Jul 2024
  37. mldonkey
    Documentation
    Cross-platform multi-network peer-to-peer daemon
    mldonkey team
    3.2.1
    GPL-2.0-only
    Used by 0 other packages
    25 Aug 2024
  38. mlfenv
    Documentation
    OCaml C bindings for fenv(3)
    Laurent Thévenoux <lrnt@thvnx.com>
    1.0.0
    LGPL-3.0-only
    Used by 0 other packages
    12 Nov 2019
  39. mlgmpidl
    Documentation
    OCaml interface to the GMP library
    Bertrand Jeannet Nicolas Berthier
    1.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    09 Feb 2024
  40. mlgpx
    Documentation
    Library and CLI for parsing and generating GPS Exchange (GPX) formats
    Anil Madhavapeddy
    1.0.0
    ISC
    Used by 0 other packages
    14 Aug 2025
  41. mlmpfr

    No documentation

    OCaml C bindings for MPFR >= 4.2.1
    Laurent Thévenoux <lrnt@thvnx.com>
    4.2.1
    LGPL-3.0-only
    Used by 0 other packages
    21 Dec 2023
  42. mlpost
    Documentation
    OCaml library on top of Metapost
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 1 other packages
    15 Feb 2021
  43. mlpost-lablgtk
    Documentation
    Library for adding mlpost graphics in lablgtk
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 0 other packages
    15 Feb 2021
  44. mlsolver
    Documentation
    A tool for solving the satisfiability and validity problems for modal fixpoint logics
    Oliver Friedmann Martin Lange
    1.5
    BSD-3-clause
    Used by 0 other packages
    14 Oct 2025
  45. mlt_parser
    Documentation
    Parsing of top-expect files
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  46. mlx
    Documentation
    OCaml syntax dialect which adds JSX syntax expressions
    Andrey Popp
    0.11
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    28 Dec 2025
  47. mm
    Documentation
    The mm library contains high-level APIs to create and manipulate multimedia streams (audio, video, MIDI)
    Samuel Mimram <smimram@gmail.com>
    0.8.6
    LGPL-2.1-or-later
    Used by 3 other packages
    29 Oct 2024
  48. mmap
    Documentation
    File mapping functionality
    Jérémie Dimino <jeremie@dimino.org> Anton Bachin
    1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    25 Feb 2022
  49. mmdb
    Documentation
    Binding to the MaxMind DB library for GeoIP lookups
    Martin Slota <msl@issuu.com>
    0.3.0
    Apache-2.0
    Used by 0 other packages
    24 May 2019
  50. mmo
    Documentation
    Small Library for Molecular Mechanics in OCaml
    Francois Berenger
    1.0.1
    BSD-3-Clause
    Used by 0 other packages
    21 Jan 2025
... 50 51 52 ... 90