7 search results for "author:"the Imandra team""

Showing 1 - 7
  1. opentelemetry
    Documentation
    Instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    the Imandra team ocaml-tracing contributors
    0.13
    MIT
    Used by 6 other packages
    09 Mar 2026
  2. opentelemetry-client-cohttp-eio
    Documentation
    Collector client for opentelemetry, using cohttp + eio
    the Imandra team ocaml-tracing contributors
    0.13
    MIT
    Used by 0 other packages
    09 Mar 2026
  3. opentelemetry-client-cohttp-lwt
    Documentation
    Collector client for opentelemetry, using cohttp + lwt
    the Imandra team ocaml-tracing contributors
    0.13
    MIT
    Used by 1 other packages
    09 Mar 2026
  4. opentelemetry-client-ocurl

    No documentation

    Collector client for opentelemetry, using http + ezcurl
    the Imandra team ocaml-tracing contributors
    0.13
    MIT
    Used by 0 other packages
    09 Mar 2026
  5. opentelemetry-cohttp-lwt
    Documentation
    Opentelemetry tracing for Cohttp HTTP servers
    the Imandra team ocaml-tracing contributors
    0.13
    MIT
    Used by 1 other packages
    09 Mar 2026
  6. opentelemetry-logs
    Documentation
    Opentelemetry tracing for Cohttp HTTP servers
    the Imandra team ocaml-tracing contributors
    0.13
    MIT
    Used by 0 other packages
    09 Mar 2026
  7. opentelemetry-lwt
    Documentation
    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    the Imandra team ocaml-tracing contributors
    0.13
    MIT
    Used by 2 other packages
    09 Mar 2026