4523 search results for ""

Showing 2401 - 2450
  1. Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
    2.0.0
    BSD-2-Clause
    Used by 0 other packages
    13 Feb 2025
  2. 3.0.0
    ISC
    Used by 14 other packages
    15 Nov 2021
  3. 4.9.0
    ISC
    Used by 10 other packages
    05 Mar 2025
  4. Serve static files over HTTPS, using Mirage+ocaml-TLS.
    0.4.2
    ISC
    Used by 0 other packages
    28 Jul 2015
  5. 4.0.0
    ISC
    Used by 19 other packages
    02 Feb 2025
  6. 0.10.0
    ISC
    Used by 5 other packages
    06 Feb 2025
  7. MirageOS signatures for network stacks
    4.0.0
    ISC
    Used by 3 other packages
    17 Dec 2021
  8. MirageOS signatures for network stacks
    1.4.0
    ISC
    Used by 3 other packages
    25 Feb 2019
  9. MirageOS type-classes
    0.3.0
    ISC
    Used by 0 other packages
    18 Dec 2014
  10. 3.0.0
    ISC
    Used by 27 other packages
    15 Nov 2021
  11. 1.3.0
    ISC
    Used by 8 other packages
    18 Jun 2019
  12. 3.0.0
    ISC
    Used by 8 other packages
    15 Nov 2021
  13. 3.6.0
    ISC
    Used by 4 other packages
    03 Oct 2019
  14. Lwt module type definitions for MirageOS applications
    3.6.0
    ISC
    Used by 7 other packages
    03 Oct 2019
  15. Unikraft core platform libraries for MirageOS
    1.0.0
    MIT
    Used by 2 other packages
    29 Jun 2025
  16. Unix core platform libraries for MirageOS
    5.0.1
    ISC
    Used by 5 other packages
    15 Sep 2022
  17. Virtual network interface and software switch for Mirage
    0.6.2
    ISC
    Used by 3 other packages
    23 May 2024
  18. Xen core platform libraries for MirageOS
    9.0.0
    ISC
    Used by 4 other packages
    06 Feb 2025
  19. mirage-xen-minios

    No documentation

    Xen MiniOS guest operating system library
    0.9.3
    Used by 1 other packages
    19 Jun 2017
  20. mirage-xen-posix

    No documentation

    MirageOS library for posix headers
    3.3.1
    Used by 1 other packages
    26 Jun 2019
  21. A library to drive the MIDI system of the Jack Audio Connection Kit.
    0.0.0
    MIT
    Used by 1 other packages
    07 Sep 2017
  22. The Mixture package is a mixin library for the module system
    1.0.0
    CeCILL-B
    Used by 1 other packages
    20 Jan 2016
  23. Composable, applicative and monadic DSL for decoding Yojson values
    0.2.1
    BSD-3-Clause
    Used by 0 other packages
    06 Jan 2024
  24. CLI program for generating audio files
    1.1.4
    MIT
    Used by 0 other packages
    19 Mar 2025
  25. Tool to generate OCaml projects
    1.2
    BSD-3-Clause
    Used by 0 other packages
    11 Jun 2021
  26. An OCaml library for Binary Decision Diagrams (BDDs)
    0.7.3
    MIT
    Used by 3 other packages
    29 Jan 2022
  27. OCaml interface to the CUDD BDD library
    3.0.8
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    09 Jul 2024
  28. Cross-platform multi-network peer-to-peer daemon
    3.2.1
    GPL-2.0-only
    Used by 0 other packages
    25 Aug 2024
  29. OCaml C bindings for fenv(3)
    1.0.0
    LGPL-3.0-only
    Used by 0 other packages
    12 Nov 2019
  30. OCaml interface to the GMP library
    1.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    09 Feb 2024
  31. mlmpfr

    No documentation

    OCaml C bindings for MPFR >= 4.2.1
    4.2.1
    LGPL-3.0-only
    Used by 0 other packages
    21 Dec 2023
  32. 0.9
    LGPL-2.1-only
    Used by 1 other packages
    15 Feb 2021
  33. 0.9
    LGPL-2.1-only
    Used by 0 other packages
    15 Feb 2021
  34. Parsing of top-expect files
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  35. OCaml syntax dialect which adds JSX syntax expressions
    0.10
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    23 Jun 2025
  36. The mm library contains high-level APIs to create and manipulate multimedia streams (audio, video, MIDI)
    0.8.6
    LGPL-2.1-or-later
    Used by 3 other packages
    29 Oct 2024
  37. 1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    25 Feb 2022
  38. Binding to the MaxMind DB library for GeoIP lookups
    0.3.0
    Apache-2.0
    Used by 0 other packages
    24 May 2019
  39. Small Library for Molecular Mechanics in OCaml
    1.0.1
    BSD-3-Clause
    Used by 0 other packages
    21 Jan 2025
  40. This is a transition package, mmseg is now named wseg. Use the wseg package instead
    transition
    MIT
    Used by 0 other packages
    29 Dec 2019
  41. 1.1.0
    MIT
    Used by 0 other packages
    27 Jul 2022
  42. Configurable functions to test impure code
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    24 Feb 2023
  43. OUnit wrapper for OCaml mock
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    24 Feb 2023
  44. A library for operations on integers modulo some integer (the modulus)
    0.1
    MPL-2.0
    Used by 0 other packages
    20 May 2018
  45. The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  46. Molecular encoder/featurizer using rdkit and OCaml
    17.0.1
    BSD-3-Clause
    Used by 7 other packages
    02 Oct 2024
  47. JSOO interface for Monaco-editor
    1.0.1
    MIT
    Used by 0 other packages
    07 Sep 2022
  48. A starter library for monads, with transformers and applicatives
    0.2
    MIT
    Used by 1 other packages
    11 Nov 2015
  49. A missing monad library
    2.5.0
    MIT
    Used by 26 other packages
    14 Jul 2022
  50. A framework for strong random testing of OCaml libraries
    20250314
    LGPL-3.0-or-later
    Used by 9 other packages
    17 Mar 2025