2 search results for "tag:"opentelemetry""

Showing 1 - 2
  1. opentelemetry

    No documentation

    Instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    the Imandra team and contributors
    0.12
    MIT
    Used by 6 other packages
    12 Sep 2025
  2. opentelemetry-lwt

    No documentation

    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    the Imandra team and contributors
    0.12
    MIT
    Used by 2 other packages
    12 Sep 2025