808 search results for "tag:"R""

Showing 351 - 400
  1. 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
    Added to opam-repository
  2. mirage-block-lwt
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    1.2.0
    ISC
    Used by 4 other packages
    Added to opam-repository
  3. mirage-block-ramdisk
    Documentation
    In-memory BLOCK device for MirageOS
    org:mirage
    David Scott
    0.6
    ISC
    Used by 2 other packages
    Added to opam-repository
  4. 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
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. 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
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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.3.0
    MIT
    Used by 10 other packages
    Added to opam-repository
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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 15 other packages
    Added to opam-repository
  31. mirage-net
    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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
    Added to opam-repository
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 7 8 9 ... 17