35 search results for "author:"Dave Scott""

Showing 1 - 35
  1. cdrom
    Documentation
    Query the state and contents of CDROM devices under Linux
    org:xapi-project
    Dave Scott <dave@recoil.org>
    0.9.4
    Used by 0 other packages
    23 Dec 2020
  2. fat-filesystem
    Documentation
    Pure OCaml implementation of the FAT filesystem
    org:mirage org:xapi-project
    Dave Scott Anil Madhavapeddy
    0.15.1
    ISC
    Used by 0 other packages
    11 Apr 2022
  3. functoria
    Documentation
    A DSL to organize functor applications
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.4.2
    ISC
    Used by 1 other packages
    15 Feb 2024
  4. functoria-runtime
    Documentation
    Runtime support library for functoria-generated code
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.4.2
    ISC
    Used by 3 other packages
    15 Feb 2024
  5. io-page
    Documentation
    Support for efficient handling of I/O memory pages
    org:mirage
    Anil Madhavapeddy Dave Scott Thomas Gazagnaire
    3.0.0
    ISC
    Used by 35 other packages
    07 Apr 2022
  6. io-page-unix
    Documentation
    Support for efficient handling of I/O memory pages on Unix
    org:mirage
    Anil Madhavapeddy Dave Scott Thomas Gazagnaire
    2.3.0
    ISC
    Used by 25 other packages
    26 Jun 2019
  7. io-page-xen
    Documentation
    Support for efficient handling of I/O memory pages on Xen
    org:mirage
    Anil Madhavapeddy Dave Scott Thomas Gazagnaire
    2.3.0
    ISC
    Used by 7 other packages
    26 Jun 2019
  8. mirage
    Documentation
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.9.0
    ISC
    Used by 4 other packages
    05 Mar 2025
  9. 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
    15 Sep 2022
  10. mirage-crypto-entropy
    Documentation
    Entropy source for MirageOS unikernels
    org:mirage
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.6.2
    BSD-2-Clause
    Used by 0 other packages
    19 Mar 2020
  11. 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 8 other packages
    21 Oct 2019
  12. mirage-entropy
    Documentation
    Entropy source for MirageOS unikernels
    org:mirage
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.5.1
    BSD-2-Clause
    Used by 3 other packages
    26 Feb 2020
  13. mirage-flow
    Documentation
    Flow implementations and combinators for MirageOS
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 35 other packages
    06 Feb 2025
  14. 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
    06 Feb 2025
  15. 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 20 other packages
    24 Apr 2019
  16. mirage-flow-unix
    Documentation
    Flow implementations and combinators for MirageOS on Unix
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 2 other packages
    06 Feb 2025
  17. 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 13 other packages
    19 Nov 2021
  18. 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 11 other packages
    24 Feb 2019
  19. mirage-random
    Documentation
    Random-related devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.0.0
    ISC
    Used by 7 other packages
    27 Mar 2024
  20. 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
  21. 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 16 other packages
    02 Feb 2025
  22. 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 37 other packages
    15 Nov 2021
  23. 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 19 other packages
    18 Jun 2019
  24. 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 11 other packages
    15 Nov 2021
  25. 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.10.8
    ISC
    Used by 5 other packages
    22 Dec 2021
  26. pcap-format
    Documentation
    Decode and encode PCAP (packet capture) files
    org:mirage org:xapi-project
    Anil Madhavapeddy Dave Scott Richard Mortier
    0.6.0
    ISC
    Used by 3 other packages
    07 Apr 2022
  27. qmp
    Documentation
    OCaml implementation of a Qemu Message Protocol (QMP) client
    org:mirage org:xapi-project
    Dave Scott
    0.20.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    16 Aug 2023
  28. tar
    Documentation
    Decode and encode tar format files in pure OCaml
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 9 other packages
    06 Mar 2025
  29. tar-eio
    Documentation
    Decode and encode tar format files using Eio
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 0 other packages
    06 Mar 2025
  30. tar-mirage
    Documentation
    Read and write tar format files via MirageOS interfaces
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 0 other packages
    06 Mar 2025
  31. tar-unix
    Documentation
    Decode and encode tar format files from Unix
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 2 other packages
    06 Mar 2025
  32. vhd-format
    Documentation
    Pure OCaml library to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.13.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    19 Nov 2024
  33. vhd-format-lwt
    Documentation
    Lwt interface to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.13.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Nov 2024
  34. xapi-rrd
    Documentation
    RRD library for use with xapi
    org:xapi-project
    Dave Scott Jon Ludlam John Else
    1.12.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Dec 2023
  35. xenstore
    Documentation
    Xenstore protocol in pure OCaml
    Vincent Hanquez Thomas Gazagnaire Dave Scott Anil Madhavapeddy Vincent Bernardoff
    2.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    09 May 2024