888 search results for "tag:"R""

Showing 401 - 450
  1. 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 20 other packages
    Added to opam-repository
  2. 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
    Added to opam-repository
  3. 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
    Added to opam-repository
  4. 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
    Added to opam-repository
  5. 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.4.1
    MIT
    Used by 13 other packages
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. mirage-flow
    Documentation
    Flow implementations and combinators for MirageOS
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 33 other packages
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. 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 9 other packages
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. mirage-fs
    Documentation
    MirageOS signatures for filesystem devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    4.0.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. mirage-mtime
    Documentation
    Libraries and module types for a monotonic clock
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray Hannes Mehnert
    5.2.0
    ISC
    Used by 16 other packages
    Added to opam-repository
  19. mirage-net

    No documentation

    Network signatures for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.0.0
    ISC
    Used by 9 other packages
    Added to opam-repository
  20. mirage-net-lwt
    Documentation
    Network signatures 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
    Added to opam-repository
  21. mirage-net-macosx

    No documentation

    MacOS implementation of the Mirage_net_lwt interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org>
    1.10.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  22. mirage-net-solo5
    Documentation
    Solo5 implementation of MirageOS network interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. 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.8
    ISC
    Used by 0 other packages
    Added to opam-repository
  25. mirage-protocols
    Documentation
    MirageOS signatures for network protocols
    org:mirage
    Mindy Preston <meetup@yomimono.org>
    7.0.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. 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.11.2
    ISC
    Used by 10 other packages
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. mirage-stack
    Documentation
    MirageOS signatures for network stacks
    org:mirage
    Mindy Preston <meetup@yomimono.org>
    4.0.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. 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
    Added to opam-repository
  37. 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
    Added to opam-repository
  38. 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
    Added to opam-repository
  39. mirage-unikraft
    Documentation
    Unikraft core platform libraries for MirageOS
    org:mirage
    Fabrice Buoro Samuel Hym
    1.0.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  40. mirage-unix
    Documentation
    Unix core platform libraries for MirageOS
    org:mirage
    The MirageOS team
    5.0.1
    ISC
    Used by 6 other packages
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. mirage-xen
    Documentation
    Xen core platform libraries for MirageOS
    org:mirage
    The MirageOS team
    9.0.1
    ISC
    Used by 4 other packages
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. mldsa
    Documentation
    Pure OCaml implementation of FIPS 204 ML-DSA
    cryptography post-quantum
    Ville Vesilehto <ville@vesilehto.fi>
    0.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  45. mlkem
    Documentation
    Pure OCaml implementation of FIPS 203 ML-KEM
    cryptography post-quantum
    Ville Vesilehto <ville@vesilehto.fi>
    0.2.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  46. modelkit
    Documentation
    Portable classical machine learning workflows for OCaml
    data-science machine-learning
    Asara
    0.5.0
    Apache-2.0
    Used by 3 other packages
    Added to opam-repository
  47. modelkit-nx
    Documentation
    Checked Nx tensor admission for ModelKit
    data-science machine-learning adapters tensors
    Asara
    0.5.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  48. modelkit-parallel
    Documentation
    Bounded parallel execution for ModelKit
    data-science machine-learning parallelism
    Asara
    0.5.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  49. modelkit-talon
    Documentation
    Checked Talon dataframe column admission for ModelKit
    data-science machine-learning adapters dataframes
    Asara
    0.5.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  50. 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
    Added to opam-repository
... 8 9 10 ... 18