imandra

There are 0 repository under imandra topic.

• imandra-ai / verified-react

  Automated reasoning for React/ReasonML

  imandrareactreasonmlreason-react
  Language:OCaml 111

• imandra-ai / fix-engine

  Imandra FIX Engine

  verificationfinancial-marketsfixformalfix-protocolimandraformal-verificationformal-methods
  Language:OCaml 50

• imandra-ai / reasonml-tic-tac-toe

  reasonmlreactimandraocamlformal-verificationformal-methods
  Language:Reason 19

• imandra-ai / imandra-ros

  Imandra ROS

  roboticsrosimandraocamlformal-verification
  Language:OCaml 17

• imandra-ai / cme-mdp

  Imandra Modelling Language CME MDP Model

  cmemdpprotocolmarket-datamarket-data-handlerocamlimandraimandra-marketsformal-methodsformal-verificationautomated-reasoning
  Language:Jupyter Notebook 13

• imandra-ai / ipl-examples

  Imandra Protocol Language example models

  automated-reasoningfinancefix-enginefix-protocolformal-methodsformal-verificationimandraimandra-marketstrading
  11

• imandra-ai / ipl-vscode

  Imandra Protocol Language VS Code Plugin

  formal-methodsformal-verificationimandralanguage-server-protocol
  8

• imandra-ai / imandra-stdlib

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

  formal-methodsimandrainductionstdlib
  Language:Makefile 5

• imandra-ai / imandra-merlin

  Merlin reader for imandra files

  merlinimandraeditor-plugin
  Language:OCaml 1