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 115 4

  2. fix-engine fix-engine Public

    Imandra FIX Engine

    OCaml 53 3

  3. ocaml-opentelemetry ocaml-opentelemetry Public

    Instrumentation for https://opentelemetry.io

    OCaml 44 12

  4. minisat-ml minisat-ml Public

    Faithful reimplementation of Minisat 2.2 in OCaml.

    OCaml 38 1

  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 28

Repositories

Showing 10 of 111 repositories
  • imandrax-api Public

    API for imandrax

    imandra-ai/imandrax-api’s past year of commit activity
    OCaml 1 0 11 (2 issues need help) 5 Updated Nov 7, 2025
  • imandrakit Public

    Core utils library for Imandra

    imandra-ai/imandrakit’s past year of commit activity
    OCaml 4 0 1 3 Updated Nov 6, 2025
  • tree-sitter-iml Public
    imandra-ai/tree-sitter-iml’s past year of commit activity
    C 0 MIT 0 3 0 Updated Nov 5, 2025
  • ocaml-opentelemetry Public

    Instrumentation for https://opentelemetry.io

    imandra-ai/ocaml-opentelemetry’s past year of commit activity
    OCaml 44 12 10 (3 issues need help) 1 Updated Nov 4, 2025
  • imandra-100-theorems Public

    Imandra proofs of the Top 100 Theorems

    imandra-ai/imandra-100-theorems’s past year of commit activity
    OCaml 1 0 0 0 Updated Oct 28, 2025
  • fix-engine Public

    Imandra FIX Engine

    imandra-ai/fix-engine’s past year of commit activity
    OCaml 53 Apache-2.0 3 2 1 Updated Oct 28, 2025
  • imandra-docs Public

    Imandra Documentation

    imandra-ai/imandra-docs’s past year of commit activity
    Jupyter Notebook 7 3 19 2 Updated Oct 28, 2025
  • tldrs Public

    Trace and Log Daemon in Rust

    imandra-ai/tldrs’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Oct 27, 2025
  • ieee-p3109 Public

    IEEE P3109 Floating-point arithmetic

    imandra-ai/ieee-p3109’s past year of commit activity
    TypeScript 1 1 0 0 Updated Oct 24, 2025
  • imandra-ai.github.io Public
    imandra-ai/imandra-ai.github.io’s past year of commit activity
    HTML 0 1 0 3 Updated Oct 8, 2025
View all repositories