Skip to content
@imandra-ai

Imandra

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

Pinned Loading

  1. imandrax-vscode imandrax-vscode Public

    VS Code extension for ImandraX

    CSS 2 1

  2. imandrax-examples imandrax-examples Public

    ImandraX examples

    OCaml 1

  3. imandra-100-theorems imandra-100-theorems Public

    Imandra proofs of the Top 100 Theorems

    OCaml 11

  4. imandrax-tools imandrax-tools Public

    Python

Repositories

Showing 10 of 113 repositories
  • imandrakit Public

    Core utils library for Imandra

    imandra-ai/imandrakit’s past year of commit activity
    OCaml 6 0 1 3 Updated Mar 24, 2026
  • imandrax-vscode Public

    VS Code extension for ImandraX

    imandra-ai/imandrax-vscode’s past year of commit activity
    CSS 2 MIT 1 4 (1 issue needs help) 1 Updated Mar 24, 2026
  • imandrax-tools Public
    imandra-ai/imandrax-tools’s past year of commit activity
    Python 0 0 9 2 Updated Mar 23, 2026
  • imandrax-api Public

    API for imandrax

    imandra-ai/imandrax-api’s past year of commit activity
    OCaml 2 0 9 (2 issues need help) 2 Updated Mar 23, 2026
  • imandra-ai.github.io Public
    imandra-ai/imandra-ai.github.io’s past year of commit activity
    HTML 0 1 0 3 Updated Mar 17, 2026
  • jekyll-resources Public
    imandra-ai/jekyll-resources’s past year of commit activity
    SCSS 0 0 2 2 Updated Mar 17, 2026
  • ieee-p3109 Public

    IEEE P3109 Floating-point arithmetic

    imandra-ai/ieee-p3109’s past year of commit activity
    TypeScript 1 1 0 0 Updated Mar 16, 2026
  • codelogician-demos Public

    CodeLogician demos and tutorials

    imandra-ai/codelogician-demos’s past year of commit activity
    Python 0 0 0 0 Updated Mar 12, 2026
  • ocaml-gcloud Public

    OCaml bindings to Google Cloud Platform APIs

    imandra-ai/ocaml-gcloud’s past year of commit activity
    OCaml 26 MIT 6 0 0 Updated Mar 5, 2026
  • tree-sitter-iml Public
    imandra-ai/tree-sitter-iml’s past year of commit activity
    C 1 MIT 0 4 0 Updated Mar 2, 2026
View all repositories

Top languages

Loading…