Skip to content
@imandra-ai

Imandra

We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

Popular repositories Loading

  1. verified-react verified-react Public

    Automated reasoning for React/ReasonML

    OCaml 113 4

  2. fix-engine fix-engine Public

    Imandra FIX Engine

    OCaml 52 3

  3. minisat-ml minisat-ml Public

    Faithful reimplementation of Minisat 2.2 in OCaml.

    OCaml 38 1

  4. ocaml-opentelemetry ocaml-opentelemetry Public

    Instrumentation for https://opentelemetry.io

    OCaml 35 7

  5. contracts contracts Public

    Imandra Contracts - Formal verification of smart contracts

    OCaml 32 3

  6. ocaml-tracy ocaml-tracy Public

    Bindings to the Tracy profiler.

    OCaml 26

Repositories

Showing 10 of 102 repositories
  • imandrakit Public

    Core utils library for Imandra

    OCaml 4 0 1 3 Updated Feb 18, 2025
  • ieee-p3109 Public

    IEEE P3109 Floating-point arithmetic

    OCaml 0 0 0 0 Updated Feb 10, 2025
  • imandra-docs Public

    Imandra Documentation

    Jupyter Notebook 7 4 19 0 Updated Feb 8, 2025
  • ocaml-opentelemetry Public

    Instrumentation for https://opentelemetry.io

    OCaml 35 7 10 (4 issues need help) 0 Updated Jan 31, 2025
  • catapult Public

    Tracing library for OCaml with catapult/TEF export.

    OCaml 9 1 1 1 Updated Jan 30, 2025
  • ocaml-tracy Public

    Bindings to the Tracy profiler.

    OCaml 26 0 1 1 Updated Jan 14, 2025
  • tldrs Public

    Trace and Log Daemon in Rust

    Rust 0 MIT 0 0 0 Updated Jan 13, 2025
  • HTML 0 0 2 2 Updated Jan 9, 2025
  • itr-ast Public
    JavaScript 1 0 1 0 Updated Jan 8, 2025
  • ocaml-gcloud Public

    OCaml bindings to Google Cloud Platform APIs

    OCaml 25 MIT 4 0 0 Updated Jan 7, 2025