84 search results for "author:"Thomas Leonard""

Showing 51 - 84
  1. 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
    16 Jul 2019
  2. 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
    21 Oct 2019
  3. 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
    06 Feb 2025
  4. 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
    19 Nov 2021
  5. 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
    24 Feb 2019
  6. 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
    09 Oct 2025
  7. mirage-profile
    Documentation
    Collect runtime profiling information in CTF format
    Thomas Leonard <talex5@gmail.com>
    0.9.1
    BSD-2-clause
    Used by 4 other packages
    09 Jul 2019
  8. mirage-qubes
    Documentation
    Implementations of various Qubes protocols for MirageOS
    Thomas Leonard
    2.0.0
    BSD-2-Clause
    Used by 1 other packages
    13 Feb 2025
  9. mirage-qubes-ipv4
    Documentation
    Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
    Thomas Leonard
    2.0.0
    BSD-2-Clause
    Used by 0 other packages
    13 Feb 2025
  10. 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
    15 Nov 2021
  11. mirage-runtime

    No 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.0
    ISC
    Used by 10 other packages
    08 May 2026
  12. 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
    01 Sep 2025
  13. 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
    15 Nov 2021
  14. 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
    18 Jun 2019
  15. 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
    15 Nov 2021
  16. 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
    03 Oct 2019
  17. obuilder

    No documentation

    Run build scripts for CI
    Antonin Décimo <antonin@tarides.com> Arthur Wendling <art.wendling@gmail.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> et al.
    0.7.0
    Apache-2.0
    Used by 2 other packages
    12 May 2026
  18. obuilder-spec

    No documentation

    Build specification format
    Antonin Décimo <antonin@tarides.com> Arthur Wendling <art.wendling@gmail.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> et al.
    0.7.0
    Apache-2.0
    Used by 2 other packages
    12 May 2026
  19. ocluster

    No documentation

    Distribute build jobs to workers
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.4.0
    Apache-2.0
    Used by 0 other packages
    13 May 2026
  20. ocluster-api

    No documentation

    Cap'n Proto API for OCluster
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.4.0
    Apache-2.0
    Used by 3 other packages
    13 May 2026
  21. ocluster-worker

    No documentation

    OCluster library for defining workers
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.4.0
    Apache-2.0
    Used by 1 other packages
    13 May 2026
  22. ppx_cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 22 other packages
    14 Mar 2023
  23. prometheus
    Documentation
    Client library for Prometheus monitoring
    Thomas Leonard David Scott
    1.3
    Apache-2.0
    Used by 12 other packages
    09 Dec 2025
  24. prometheus-app
    Documentation
    Client library for Prometheus monitoring
    Thomas Leonard David Scott
    1.3
    Apache-2.0
    Used by 7 other packages
    09 Dec 2025
  25. protocol-9p
    Documentation
    An implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.1.0
    ISC
    Used by 3 other packages
    27 Aug 2025
  26. protocol-9p-tool
    Documentation
    An implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.1.0
    ISC
    Used by 0 other packages
    27 Aug 2025
  27. protocol-9p-unix
    Documentation
    A Unix implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.1.0
    ISC
    Used by 1 other packages
    27 Aug 2025
  28. sha
    Documentation
    Binding to the SHA cryptographic functions
    Vincent Hanquez Thomas Gazagnaire Goswin von Brederlow Eric Cooper Florent Monnier et al.
    1.15.4
    ISC
    Used by 14 other packages
    23 Jan 2023
  29. tcpip
    Documentation
    OCaml TCP/IP networking stack, used in MirageOS
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire et al.
    9.0.1
    ISC
    Used by 34 other packages
    17 Apr 2025
  30. tls-eio

    No documentation

    Transport Layer Security purely in OCaml - Eio
    org:mirage
    Thomas Leonard
    2.1.0
    BSD-2-Clause
    Used by 10 other packages
    20 May 2026
  31. uring
    Documentation
    OCaml bindings for Linux io_uring
    Anil Madhavapeddy Sadiq Jaffer Thomas Leonard
    2.7.0
    ISC; MIT
    Used by 1 other packages
    03 Oct 2025
  32. xen-gnt
    Documentation
    Xen grant table bindings for OCaml
    Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
    4.0.2
    ISC
    Used by 2 other packages
    30 Apr 2024
  33. xen-gnt-unix
    Documentation
    Xen grant table bindings for OCaml
    Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
    4.0.2
    ISC
    Used by 1 other packages
    30 Apr 2024
  34. xkbcommon
    Documentation
    OCaml bindings to libxkbcommon
    Thomas Leonard
    0.1
    Apache-2.0
    Used by 0 other packages
    22 Dec 2024
1 2