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

  2. fix-engine fix-engine Public

    Imandra FIX Engine

    OCaml 51 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 33 6

  5. contracts contracts Public

    Imandra Contracts - Formal verification of smart contracts

    OCaml 32 3

  6. ocaml-gcloud ocaml-gcloud Public

    OCaml bindings to Google Cloud Platform APIs

    OCaml 26 4

Repositories

Showing 10 of 100 repositories
  • imandrakit Public

    Core utils library for Imandra

    imandra-ai/imandrakit’s past year of commit activity
    OCaml 4 0 1 2 Updated Sep 5, 2024
  • batrpc Public

    RPC framework on top of protobuf.

    imandra-ai/batrpc’s past year of commit activity
    OCaml 3 0 0 1 Updated Sep 4, 2024
  • jekyll-resources Public
    imandra-ai/jekyll-resources’s past year of commit activity
    HTML 0 0 2 1 Updated Sep 4, 2024
  • itr-ast Public
    imandra-ai/itr-ast’s past year of commit activity
    JavaScript 1 0 0 1 Updated Aug 30, 2024
  • ocaml-gcloud Public

    OCaml bindings to Google Cloud Platform APIs

    imandra-ai/ocaml-gcloud’s past year of commit activity
    OCaml 26 MIT 4 0 0 Updated Aug 30, 2024
  • ocaml-tracy Public

    Bindings to the Tracy profiler.

    imandra-ai/ocaml-tracy’s past year of commit activity
    OCaml 25 0 1 1 Updated Aug 29, 2024
  • imandra-docs Public

    Imandra Documentation

    imandra-ai/imandra-docs’s past year of commit activity
    Jupyter Notebook 7 4 19 2 Updated Aug 28, 2024
  • opam-repository Public

    opam repository for AI

    imandra-ai/opam-repository’s past year of commit activity
    5 0 0 1 Updated Aug 28, 2024
  • ocaml-caqti Public Forked from paurkedal/ocaml-caqti

    Cooperative-threaded access to relational data

    imandra-ai/ocaml-caqti’s past year of commit activity
    OCaml 0 LGPL-3.0 37 0 0 Updated Aug 28, 2024
  • tldrs Public

    Trace and Log Daemon in Rust

    imandra-ai/tldrs’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Aug 26, 2024
View all repositories

Most used topics

Loading…