#

imandra

Here are 9 public repositories matching this topic...

imandra-ai / verified-react

Automated reasoning for React/ReasonML

react reasonml reason-react imandra

Updated Jan 4, 2023
OCaml

imandra-ai / fix-engine

Imandra FIX Engine

verification formal-methods fix formal-verification financial-markets fix-protocol formal imandra

Updated Aug 6, 2026
Makefile

imandra-ai / reasonml-tic-tac-toe

react ocaml formal-methods reasonml formal-verification imandra

Updated Jan 7, 2023
Reason

imandra-ai / imandra-ros

Imandra ROS

robotics ocaml ros formal-verification imandra

Updated Jan 24, 2022
OCaml

imandra-ai / cme-mdp

Imandra Modelling Language CME MDP Model

protocol ocaml mdp market-data formal-methods formal-verification cme automated-reasoning imandra market-data-handler imandra-markets

Updated May 12, 2020
Jupyter Notebook

imandra-ai / ipl-examples

Imandra Protocol Language example models

finance trading formal-methods formal-verification fix-protocol automated-reasoning imandra fix-engine imandra-markets

Updated Aug 23, 2024

imandra-ai / ipl-vscode

Imandra Protocol Language VS Code Plugin

language-server-protocol formal-methods formal-verification imandra

Updated Sep 9, 2026

imandra-ai / imandra-stdlib

Standard library for [Imandra](https://imandra.ai)

stdlib formal-methods induction imandra

Updated Aug 15, 2024
Makefile

imandra-ai / imandra-merlin

Merlin reader for imandra files

editor-plugin merlin imandra

Updated May 14, 2020
OCaml

Add this topic to your repo

To associate your repository with the imandra topic, visit your repo's landing page and select "manage topics."