4296 search results for "author:" ""

Showing 2251 - 2300
  1. 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
  2. mirage-ptime
    Documentation
    Libraries and module types for portable clocks
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray Hannes Mehnert
    5.0.0
    ISC
    Used by 17 other packages
    02 Feb 2025
  3. 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
  4. 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
  5. 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
  6. mirage-runtime
    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.9.0
    ISC
    Used by 10 other packages
    05 Mar 2025
  7. 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
  8. mirage-sleep
    Documentation
    Sleep operation for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.0.0
    ISC
    Used by 19 other packages
    02 Feb 2025
  9. 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
  10. 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
  11. mirage-stack-lwt
    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
  12. mirage-tc
    Documentation
    MirageOS type-classes
    Thomas Gazagnaire
    0.3.0
    ISC
    Used by 0 other packages
    18 Dec 2014
  13. 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
  14. 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 8 other packages
    18 Jun 2019
  15. 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
  16. 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
  17. 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
  18. 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
  19. mirage-unix
    Documentation
    Unix core platform libraries for MirageOS
    org:mirage
    The MirageOS team
    5.0.1
    ISC
    Used by 5 other packages
    15 Sep 2022
  20. mirage-vnetif
    Documentation
    Virtual network interface and software switch for Mirage
    org:mirage
    Magnus Skjegstad <magnus@skjegstad.com>
    0.6.2
    ISC
    Used by 3 other packages
    23 May 2024
  21. 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
  22. mirage-xen-minios

    No documentation

    Xen MiniOS guest operating system library
    org:mirage
    Anil Madhavapeddy Thomas Leonard
    0.9.3
    Used by 1 other packages
    19 Jun 2017
  23. mirage-xen-posix

    No documentation

    MirageOS library for posix headers
    The MirageOS team
    3.3.1
    Used by 1 other packages
    26 Jun 2019
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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 1 other packages
    09 Jul 2024
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. mlt_parser
    Documentation
    Parsing of top-expect files
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  38. mlx
    Documentation
    OCaml syntax dialect which adds JSX syntax expressions
    Andrey Popp
    0.10
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    23 Jun 2025
  39. 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
  40. 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
  41. 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
  42. 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
  43. mmseg
    Documentation
    This is a transition package, mmseg is now named wseg. Use the wseg package instead
    ZAN DoYe
    transition
    MIT
    Used by 0 other packages
    29 Dec 2019
  44. mnd
    Documentation
    A small monads library
    Mauro Bringolf <mauro@bringolf.com>
    1.1.0
    MIT
    Used by 0 other packages
    27 Jul 2022
  45. mock
    Documentation
    Configurable functions to test impure code
    Cryptosense <opensource@cryptosense.com>
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    24 Feb 2023
  46. mock-ounit
    Documentation
    OUnit wrapper for OCaml mock
    Cryptosense <opensource@cryptosense.com>
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    24 Feb 2023
  47. modular-arithmetic
    Documentation
    A library for operations on integers modulo some integer (the modulus)
    Raphael Sousa Santos <contact@raphaelss.com>
    0.1
    MPL-2.0
    Used by 0 other packages
    20 May 2018
  48. module-graph
    Documentation
    The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  49. molenc
    Documentation
    Molecular encoder/featurizer using rdkit and OCaml
    Francois Berenger
    17.0.1
    BSD-3-Clause
    Used by 7 other packages
    02 Oct 2024
  50. monaco_jsoo
    Documentation
    JSOO interface for Monaco-editor
    Jun Furuse
    1.0.1
    MIT
    Used by 0 other packages
    07 Sep 2022
... 45 46 47 ... 86