imandra topic

List imandra repositories

verified-react

111
Stars
4
Forks
Watchers

Automated reasoning for React/ReasonML

verified publisher icon imandra-ai

fix-engine

49
Stars
3
Forks
Watchers

Imandra FIX Engine

verified publisher icon imandra-ai

imandra-ros

17
Stars
0
Forks
Watchers

Imandra ROS

verified publisher icon imandra-ai

reasonml-tic-tac-toe

19
Stars
1
Forks
Watchers

verified publisher icon imandra-ai