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 36 10

  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 27

Repositories

Showing 10 of 105 repositories
  • imandrax-api Public

    API for imandrax

    OCaml 0 0 7 (2 issues need help) 3 Updated Mar 26, 2025
  • imandra-docs Public

    Imandra Documentation

    Jupyter Notebook 7 4 19 0 Updated Mar 25, 2025
  • code-logician-examples Public
    Python 1 0 0 0 Updated Mar 21, 2025
  • imandra-ai.github.io Public
    HTML 0 1 0 3 Updated Mar 21, 2025
  • jekyll-resources Public
    HTML 0 0 2 2 Updated Mar 21, 2025
  • imandrakit Public

    Core utils library for Imandra

    OCaml 4 0 1 2 Updated Mar 21, 2025
  • ocaml-opentelemetry Public

    Instrumentation for https://opentelemetry.io

    OCaml 36 10 9 (4 issues need help) 1 Updated Mar 19, 2025
  • ieee-p3109 Public

    IEEE P3109 Floating-point arithmetic

    OCaml 0 0 0 0 Updated Mar 14, 2025
  • tldrs Public

    Trace and Log Daemon in Rust

    Rust 0 MIT 0 0 0 Updated Mar 13, 2025
  • opam-repository Public

    opam repository for AI

    5 0 0 1 Updated Mar 11, 2025
View all repositories