218 search results for "tag:"org:mirage""

Showing 51 - 100
  1. fd-send-recv
    Documentation
    Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
    org:mirage org:xapi-project
    David Scott David Sheets Euan Harris Vincent Bernardoff
    2.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    07 Dec 2022
  2. fiat-p256
    Documentation
    Primitives for Elliptic Curve Cryptography taken from Fiat
    org:mirage
    Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology
    0.2.3
    MIT
    Used by 2 other packages
    03 Nov 2020
  3. functoria
    Documentation
    A DSL to organize functor applications
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.4.1
    ISC
    Used by 1 other packages
    22 Nov 2023
  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.1
    ISC
    Used by 3 other packages
    22 Nov 2023
  5. github
    Documentation
    GitHub APIv3 OCaml library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 6 other packages
    27 Jan 2022
  6. github-data
    Documentation
    GitHub APIv3 data library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 1 other packages
    27 Jan 2022
  7. github-jsoo
    Documentation
    GitHub APIv3 JavaScript library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 0 other packages
    27 Jan 2022
  8. github-unix
    Documentation
    GitHub APIv3 Unix library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 5 other packages
    27 Jan 2022
  9. icalendar
    Documentation
    A library to parse and print the iCalendar (RFC 5545) format
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.1.7
    ISC
    Used by 2 other packages
    23 Oct 2022
  10. 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 50 other packages
    07 Apr 2022
  11. 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 34 other packages
    26 Jun 2019
  12. 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 9 other packages
    26 Jun 2019
  13. ipaddr
    Documentation
    A library for manipulation of IP (and MAC) address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 89 other packages
    03 Apr 2023
  14. ipaddr-cstruct
    Documentation
    A library for manipulation of IP address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 2 other packages
    03 Apr 2023
  15. ipaddr-sexp
    Documentation
    A library for manipulation of IP address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 8 other packages
    03 Apr 2023
  16. libvhd
    Documentation
    OCaml bindings for the C library 'libvhd' which allows the manipulation
    org:mirage org:xapi-project
    Jon Ludlam
    0.9.0
    Used by 0 other packages
    21 Nov 2013
  17. libvirt
    Documentation
    Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
    org:mirage org:xapi-project
    Richard W.M. Jones
    0.6.1.4
    Used by 2 other packages
    11 Nov 2015
  18. macaddr
    Documentation
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 22 other packages
    03 Apr 2023
  19. macaddr-cstruct
    Documentation
    A library for manipulation of MAC address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 2 other packages
    03 Apr 2023
  20. macaddr-sexp
    Documentation
    A library for manipulation of MAC address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 3 other packages
    03 Apr 2023
  21. memcpy
    Documentation
    Safe and efficient copying between blocks of memory.
    org:mirage
    yallop@gmail.com
    0.2.2
    MIT
    Used by 0 other packages
    24 Jul 2023
  22. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  23. 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.4.1
    ISC
    Used by 4 other packages
    22 Nov 2023
  24. mirage-block
    Documentation
    Block signatures and implementations for MirageOS
    org:mirage
    David Scott Thomas Gazagnaire
    3.0.2
    ISC
    Used by 20 other packages
    29 Nov 2022
  25. 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
    29 Nov 2022
  26. mirage-block-lwt
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    1.2.0
    ISC
    Used by 10 other packages
    04 Feb 2019
  27. mirage-block-ramdisk
    Documentation
    In-memory BLOCK device for MirageOS
    org:mirage
    David Scott
    0.5
    ISC
    Used by 4 other packages
    11 Jun 2020
  28. 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
    29 Nov 2022
  29. mirage-block-unix
    Documentation
    MirageOS disk block driver for Unix
    org:mirage
    Dave Scott <dave@recoil.org>
    2.14.2
    ISC
    Used by 16 other packages
    15 Sep 2022
  30. 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.1
    ISC
    Used by 0 other packages
    19 Apr 2022
  31. mirage-bootvar-solo5
    Documentation
    Solo5 implementation of MirageOS Bootvar interface
    org:mirage
    Dan Williams <djwillia@us.ibm.com> Magnus Skjegstad <magnus@skjegstad.com> Martin Lucina <martin@lucina.net>
    0.6.0
    ISC
    Used by 0 other packages
    26 Sep 2019
  32. mirage-bootvar-unix
    Documentation
    Unix implementation of MirageOS Bootvar interface
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    0.1.0
    ISC
    Used by 4 other packages
    29 Oct 2018
  33. mirage-channel
    Documentation
    Buffered channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    4.1.0
    ISC
    Used by 9 other packages
    04 Apr 2022
  34. 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 7 other packages
    07 Feb 2019
  35. 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 51 other packages
    27 Mar 2022
  36. mirage-clock-freestanding
    Documentation
    Paravirtual implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.1.0
    ISC
    Used by 1 other packages
    02 Feb 2022
  37. 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 10 other packages
    02 Jan 2019
  38. mirage-clock-solo5
    Documentation
    Paravirtual implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  39. 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 30 other packages
    27 Mar 2022
  40. mirage-clock-xen
    Documentation
    A Mirage-compatible Clock library for Xen
    org:mirage org:xapi-project
    The MirageOS team
    1.1
    Used by 2 other packages
    05 Jan 2016
  41. mirage-conduit
    Documentation
    MirageOS interface to network connections
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    3.2.0
    ISC
    Used by 5 other packages
    16 Jul 2019
  42. mirage-console
    Documentation
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 6 other packages
    02 Feb 2022
  43. 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 7 other packages
    27 Jun 2019
  44. mirage-console-solo5
    Documentation
    Solo5 implementation of MirageOS console interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  45. mirage-console-unix
    Documentation
    Implementation of Mirage consoles for Unix
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 7 other packages
    02 Feb 2022
  46. mirage-console-xen
    Documentation
    Implementation of Mirage console for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 0 other packages
    02 Feb 2022
  47. mirage-console-xen-backend
    Documentation
    Implementation of Mirage console backend for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 1 other packages
    02 Feb 2022
  48. mirage-console-xen-cli
    Documentation
    Libraries for interacting with the Xen console command-line interface.
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.2.0
    ISC
    Used by 0 other packages
    23 Feb 2017
  49. mirage-console-xen-proto
    Documentation
    Implementation of Mirage console protocol for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 2 other packages
    02 Feb 2022
  50. 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> Andres Erbsen <andreser@mit.edu> et al.
    0.11.2
    MIT
    Used by 10 other packages
    19 Sep 2023
1 2 3 ... 5