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

Showing 1 - 32
  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
    Added to opam-repository
  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
    Added to opam-repository
  3. functoria
    Documentation
    A DSL to organize functor applications
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  4. functoria-runtime
    Documentation
    Runtime support library for functoria-generated code
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.0.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  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 27 other packages
    Added to opam-repository
  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 11 other packages
    Added to opam-repository
  7. 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.11.2
    ISC
    Used by 4 other packages
    Added to opam-repository
  8. 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
  9. 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
  10. 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
  11. 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
  12. mirage-flow-lwt

    No 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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.5.0
    ISC
    Used by 7 other packages
    Added to opam-repository
  26. 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.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  27. 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.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  28. 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.5.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. xenstore
    Documentation
    Xenstore protocol in pure OCam
    Vincent Hanquez Thomas Gazagnaire Dave Scott Anil Madhavapeddy Vincent Bernardoff
    2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    Added to opam-repository