imandra

Star

Here are 9 public repositories matching this topic...

AestheticIntegration / verified-react

Star

Automated reasoning for React/ReasonML

react reasonml reason-react imandra

Updated Feb 11, 2022
OCaml

AestheticIntegration / fix-engine

Star

Imandra FIX Engine

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

Updated Apr 14, 2022
OCaml

AestheticIntegration / reasonml-tic-tac-toe

Star

react ocaml formal-methods reasonml formal-verification imandra

Updated Feb 13, 2022
Reason

AestheticIntegration / imandra-ros

Star

Imandra ROS

robotics ocaml ros formal-verification imandra

Updated Jan 24, 2022
OCaml

AestheticIntegration / ipl-examples

Star

Imandra Protocol Language example models

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

Updated May 27, 2021

AestheticIntegration / cme-mdp

Star

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

AestheticIntegration / ipl-vscode

Star

Imandra Protocol Language VS Code Plugin

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

Updated Apr 1, 2022

AestheticIntegration / imandra-stdlib

Star

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

stdlib formal-methods induction imandra

Updated Apr 12, 2022
Makefile

AestheticIntegration / imandra-merlin

Star

Merlin reader for imandra files

editor-plugin merlin imandra

Updated May 14, 2020
OCaml

Improve this page

Add a description, image, and links to the imandra topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more