imandra

There are 9 repositories under imandra topic.

imandra-ai/verified-react
Automated reasoning for React/ReasonML
Language:OCaml112 18 04
imandra-ai/fix-engine
Imandra FIX Engine
Language:OCaml51 17 353
imandra-ai/reasonml-tic-tac-toe
Language:Reason19 14 01
imandra-ai/imandra-ros
Imandra ROS
Language:OCaml17 15 00
imandra-ai/cme-mdp
Imandra Modelling Language CME MDP Model
Language:Jupyter Notebook13 14 23
imandra-ai/ipl-examples
Imandra Protocol Language example models
11 14 11
imandra-ai/ipl-vscode
Imandra Protocol Language VS Code Plugin
8 16 01
imandra-ai/imandra-stdlib
Standard library for [Imandra](https://imandra.ai)
Language:Makefile5 11 10
imandra-ai/imandra-merlin
Merlin reader for imandra files
Language:OCaml1 7 4