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

Showing 51 - 100
  1. 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
  2. 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
  3. 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
  4. 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
  5. irmin-git
    Documentation
    Git backend for Irmin
    Thomas Gazagnaire Thomas Leonard
    3.9.0
    ISC
    Used by 3 other packages
    11 Oct 2023
  6. 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
  7. 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
  8. irmin-mem
    Documentation
    Generic in-memory Irmin stores
    Thomas Gazagnaire Thomas Leonard
    2.3.0
    ISC
    Used by 7 other packages
    12 Jan 2021
  9. irmin-test
    Documentation
    Irmin test suite
    Thomas Gazagnaire Thomas Leonard
    3.9.0
    ISC
    Used by 10 other packages
    11 Oct 2023
  10. irmin-unix
    Documentation
    Unix backends for Irmin
    Thomas Gazagnaire Thomas Leonard
    3.3.2
    ISC
    Used by 2 other packages
    27 Jul 2022
  11. lwt_eio
    Documentation
    Run Lwt code within Eio
    Thomas Leonard
    0.5.1
    ISC
    Used by 0 other packages
    28 Feb 2024
  12. 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
  13. 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.8.1
    ISC
    Used by 4 other packages
    15 Oct 2024
  14. 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.3
    ISC
    Used by 0 other packages
    09 May 2024
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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.5
    ISC
    Used by 1 other packages
    10 May 2024
  21. 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
  22. 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
  23. 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
  24. mirage-qubes
    Documentation
    Implementations of various Qubes protocols for MirageOS
    Thomas Leonard
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    29 Aug 2024
  25. mirage-qubes-ipv4
    Documentation
    Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
    Thomas Leonard
    1.0.0
    BSD-2-Clause
    Used by 0 other packages
    29 Aug 2024
  26. 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
  27. 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.8.1
    ISC
    Used by 10 other packages
    15 Oct 2024
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. obuilder
    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.6.0
    Apache-2.0
    Used by 2 other packages
    08 Feb 2024
  35. obuilder-spec
    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.6.0
    Apache-2.0
    Used by 2 other packages
    08 Feb 2024
  36. ocluster
    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.3.0
    Apache-2.0
    Used by 0 other packages
    09 Feb 2024
  37. ocluster-api
    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.3.0
    Apache-2.0
    Used by 3 other packages
    09 Feb 2024
  38. ocluster-worker
    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.3.0
    Apache-2.0
    Used by 1 other packages
    09 Feb 2024
  39. octez-internal-libs
    Documentation
    A package that contains some libraries used by the Octez suite
    Tezos devteam Thomas Gazagnaire Thomas Leonard Craig Ferguson
    20.1
    ISC
    Used by 10 other packages
    03 Jul 2024
  40. 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
  41. prometheus
    Documentation
    Client library for Prometheus monitoring
    Thomas Leonard David Scott
    1.2
    Apache-2.0
    Used by 17 other packages
    16 Jun 2022
  42. prometheus-app

    No documentation

    Client library for Prometheus monitoring
    Thomas Leonard David Scott
    1.2
    Apache-2.0
    Used by 16 other packages
    16 Jun 2022
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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.2.0
    ISC
    Used by 45 other packages
    22 Aug 2024
  48. tls-eio
    Documentation
    Transport Layer Security purely in OCaml - Eio
    org:mirage
    Thomas Leonard
    1.0.4
    BSD-2-Clause
    Used by 0 other packages
    29 Oct 2024
  49. uring
    Documentation
    OCaml bindings for Linux io_uring
    Anil Madhavapeddy Sadiq Jaffer Thomas Leonard
    0.9
    ISC; MIT
    Used by 1 other packages
    16 May 2024
  50. vpnkit

    No 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
1 2 3