Repositories list

• imandrax-api

  Public
  API for imandrax

  OCaml

  •0•2•9•2•Updated Feb 13, 2026Feb 13, 2026

• imandrakit

  Public
  Core utils library for Imandra

  containersocamlmoonpool

  OCaml

  •0•5•1•3•Updated Feb 11, 2026Feb 11, 2026

• imandra-vehicle

  Public
  An ImandraX backend for the Vehicle neural network verification system

  OCaml

  •

  MIT License

  •0•1•0•0•Updated Feb 10, 2026Feb 10, 2026

• imandrax-vscode

  Public
  VS Code extension for ImandraX

  CSS

  •

  MIT License

  •1•2•4•2•Updated Feb 10, 2026Feb 10, 2026

• code-logic-bench

  Public
  A benchmark for LLMs and related tools for reasoning and answering questions about software logic. Results for comparing performance of LLM-only vs LLM+CodeLogi…

  reasoningllms

  Python

  •

  MIT License

  •0•0•0•0•Updated Feb 9, 2026Feb 9, 2026

• imandrax-tools

  Public
  Python

  •0•0•6•2•Updated Feb 9, 2026Feb 9, 2026

• tree-sitter-iml

  Public
  C

  •

  MIT License

  •0•1•4•0•Updated Feb 3, 2026Feb 3, 2026

• imandra-docs

  Public
  Imandra Documentation

  Jupyter Notebook

  •3•7•19•2•Updated Jan 29, 2026Jan 29, 2026

• jekyll-resources

  Public
  Go Template

  •0•0•2•2•Updated Jan 27, 2026Jan 27, 2026

• imandra-vscode

  Public
  VSCode extension for developing imandra

  TypeScript

  •

  Other

  •0•2•10•4•Updated Jan 21, 2026Jan 21, 2026

• ieee-p3109

  Public
  IEEE P3109 Floating-point arithmetic

  TypeScript

  •1•1•0•0•Updated Jan 16, 2026Jan 16, 2026

• imandra-100-theorems

  Public
  Imandra proofs of the Top 100 Theorems

  OCaml

  •0•10•0•0•Updated Jan 11, 2026Jan 11, 2026

• vimandra

  Public
  vim syntax plugin for imandra

  Vim Script

  •0•0•0•0•Updated Dec 18, 2025Dec 18, 2025

• fix-engine

  Public
  Imandra FIX Engine

  verificationformal-methodsfix+ 5formal-verificationfinancial-marketsfix-protocolformalimandra

  OCaml

  •

  Apache License 2.0

  •3•53•2•1•Updated Oct 28, 2025Oct 28, 2025

• tldrs

  Public
  Trace and Log Daemon in Rust

  rustdaemonperfetto+ 1chrome-trace-format

  Rust

  •

  MIT License

  •0•0•0•0•Updated Oct 27, 2025Oct 27, 2025

• imandra-ai.github.io

  Public
  HTML

  •1•0•0•3•Updated Oct 8, 2025Oct 8, 2025

• catapult

  Public
  Tracing library for OCaml with catapult/TEF export.

  ocamltracingprofiling+ 1catapult

  OCaml

  •1•10•1•0•Updated Oct 7, 2025Oct 7, 2025

• opam-repository

  Public
  opam repository for AI

  0•5•0•1•Updated Sep 29, 2025Sep 29, 2025

• ocaml-decoders

  Public
  Elm-inspired decoders for Ocaml

  OCaml

  •

  Other

  •12•0•0•0•Updated Sep 17, 2025Sep 17, 2025

• ocaml-gcloud

  Public
  OCaml bindings to Google Cloud Platform APIs

  OCaml

  •

  MIT License

  •6•26•0•0•Updated Jun 5, 2025Jun 5, 2025

• imandrax-examples

  Public
  ImandraX examples

  OCaml

  •

  Apache License 2.0

  •0•1•0•0•Updated Jun 5, 2025Jun 5, 2025

• mcp-proxy

  Public
  Proxy for remote MCP servers

  mcpmcp-server

  JavaScript

  •0•2•0•0•Updated Jun 4, 2025Jun 4, 2025

• melange-recharts

  Public
  Reason

  •

  MIT License

  •28•0•0•0•Updated Apr 15, 2025Apr 15, 2025

• ipl-vscode

  Public
  Imandra Protocol Language VS Code Plugin

  language-server-protocolformal-methodsformal-verification+ 1imandra

  1•8•0•0•Updated Apr 2, 2025Apr 2, 2025

• code-logician-examples

  Public
  Python

  •0•1•0•0•Updated Mar 21, 2025Mar 21, 2025

• menhir

  Public
  Mirror of https://gitlab.inria.fr/fpottier/menhir

  HTML

  •

  Other

  •0•0•0•0•Updated Mar 10, 2025Mar 10, 2025

• itr-ast

  Public
  JavaScript

  •0•1•1•0•Updated Jan 8, 2025Jan 8, 2025

• imandra-document

  Public
  OCaml

  •0•0•0•1•Updated Dec 2, 2024Dec 2, 2024

• imandra-ptime

  Public
  IML-compatible version of the Ptime library

  OCaml

  •0•2•2•0•Updated Oct 23, 2024Oct 23, 2024

• imandra-http-api-client

  Public
  Interact with Imandra via http from within OCaml.

  OCaml

  •0•2•2•1•Updated Oct 11, 2024Oct 11, 2024