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

Showing 51 - 94
  1. irmin
    Documentation
    Irmin, a distributed database that follows the same design principles as Git
    Thomas Gazagnaire Thomas Leonard
    3.9.0
    ISC
    Used by 13 other packages
    11 Oct 2023
  2. irmin-fs
    Documentation
    Generic file-system backend for Irmin
    Thomas Gazagnaire Thomas Leonard
    3.9.0
    ISC
    Used by 2 other packages
    11 Oct 2023
  3. irmin-git
    Documentation
    Git backend for Irmin
    Thomas Gazagnaire Thomas Leonard
    3.9.0
    ISC
    Used by 3 other packages
    11 Oct 2023
  4. irmin-http
    Documentation
    HTTP client and server for Irmin
    Thomas Gazagnaire Thomas Leonard
    3.8.0
    ISC
    Used by 1 other packages
    06 Jul 2023
  5. irmin-indexeddb
    Documentation
    Irmin backend using the web-browser's IndexedDB store
    Thomas Leonard <talex5@gmail.com>
    2.0
    ISC
    Used by 0 other packages
    11 Jan 2020
  6. irmin-mem
    Documentation
    Generic in-memory Irmin stores
    Thomas Gazagnaire Thomas Leonard
    2.3.0
    ISC
    Used by 7 other packages
    12 Jan 2021
  7. irmin-test
    Documentation
    Irmin test suite
    Thomas Gazagnaire Thomas Leonard
    3.9.0
    ISC
    Used by 10 other packages
    11 Oct 2023
  8. irmin-unix
    Documentation
    Unix backends for Irmin
    Thomas Gazagnaire Thomas Leonard
    3.3.2
    ISC
    Used by 2 other packages
    27 Jul 2022
  9. lwt_eio
    Documentation
    Run Lwt code within Eio
    Thomas Leonard
    0.5
    ISC
    Used by 0 other packages
    30 Aug 2023
  10. minios-xen
    Documentation
    A minimal OS for running under the Xen hypervisor
    Thomas Leonard <talex5@gmail.com>
    0.9
    BSD; some optional GPL components
    Used by 2 other packages
    24 Dec 2015
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
    2.1.0
    ISC
    Used by 5 other packages
    18 Oct 2023
  16. 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
  17. 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
  18. 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.3
    ISC
    Used by 1 other packages
    24 Jul 2023
  19. mirage-profile
    Documentation
    Collect runtime profiling information in CTF format
    Thomas Leonard <talex5@gmail.com>
    0.9.1
    BSD-2-clause
    Used by 22 other packages
    09 Jul 2019
  20. mirage-profile-unix
    Documentation
    Collect runtime profiling information in CTF format
    Thomas Leonard <talex5@gmail.com>
    0.9.1
    BSD-2-clause
    Used by 0 other packages
    09 Jul 2019
  21. mirage-profile-xen
    Documentation
    Collect runtime profiling information in CTF format
    Thomas Leonard <talex5@gmail.com>
    0.9.1
    BSD-2-clause
    Used by 0 other packages
    09 Jul 2019
  22. mirage-qubes
    Documentation
    Implementations of various Qubes protocols for MirageOS
    Thomas Leonard
    0.9.3
    BSD-2-Clause
    Used by 1 other packages
    08 Sep 2022
  23. mirage-qubes-ipv4
    Documentation
    Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
    Thomas Leonard
    0.9.3
    BSD-2-Clause
    Used by 0 other packages
    08 Sep 2022
  24. 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 24 other packages
    15 Nov 2021
  25. 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.4.1
    ISC
    Used by 10 other packages
    22 Nov 2023
  26. 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 38 other packages
    15 Nov 2021
  27. 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 20 other packages
    18 Jun 2019
  28. 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 13 other packages
    15 Nov 2021
  29. 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
  30. mirage-xen-minios
    Documentation
    Xen MiniOS guest operating system library
    org:mirage
    Anil Madhavapeddy Thomas Leonard
    0.9.3
    Used by 3 other packages
    19 Jun 2017
  31. netchannel
    Documentation
    Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
    org:mirage
    Anil Madhavapeddy Thomas Leonard
    2.1.3
    ISC
    Used by 1 other packages
    24 Jul 2023
  32. 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 39 other packages
    14 Mar 2023
  33. prometheus
    Documentation
    Client library for Prometheus monitoring
    Thomas Leonard David Scott
    1.2
    Apache-2.0
    Used by 16 other packages
    16 Jun 2022
  34. prometheus-app
    Documentation
    Client library for Prometheus monitoring
    Thomas Leonard David Scott
    1.2
    Apache-2.0
    Used by 14 other packages
    16 Jun 2022
  35. protocol-9p
    Documentation
    An implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.0.2
    ISC
    Used by 7 other packages
    09 Feb 2022
  36. protocol-9p-tool
    Documentation
    An implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.0.2
    ISC
    Used by 0 other packages
    09 Feb 2022
  37. protocol-9p-unix
    Documentation
    A Unix implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.0.2
    ISC
    Used by 9 other packages
    09 Feb 2022
  38. 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 16 other packages
    23 Jan 2023
  39. 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.
    8.0.0
    ISC
    Used by 45 other packages
    19 Mar 2023
  40. tls-eio
    Documentation
    Transport Layer Security purely in OCaml - Eio
    org:mirage
    Thomas Leonard
    0.17.3
    BSD-2-Clause
    Used by 2 other packages
    21 Nov 2023
  41. uring
    Documentation
    OCaml bindings for Linux io_uring
    Anil Madhavapeddy Sadiq Jaffer Thomas Leonard
    0.8
    ISC; MIT
    Used by 1 other packages
    12 Oct 2023
  42. vpnkit
    Documentation
    VPN-friendly networking devices for HyperKit
    Anil Madhavapeddy <anil@recoil.org> David Scott <dave.scott@docker.com> David Sheets <dsheets@docker.com> Gaetan de Villele <gdevillele@gmail.com> Ian Campbell <ian.campbell@docker.com> et al.
    0.2.0
    Used by 0 other packages
    03 Jan 2018
  43. xen-gnt
    Documentation
    Xen grant table bindings for OCaml
    Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
    4.0.1
    Used by 10 other packages
    13 Apr 2022
  44. xen-gnt-unix
    Documentation
    Xen grant table bindings for OCaml
    Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
    4.0.1
    Used by 3 other packages
    13 Apr 2022
1 2