Imandra

icon indicating a website link www.imandra.ai icon indicating an email [email protected]

icon location London, Austin, Edinburgh icon location We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

Results 11 repositories owned by Imandra

verified-react

111
Stars
4
Forks
Watchers

Automated reasoning for React/ReasonML

verified publisher icon imandra-ai

contracts

32
Stars
3
Forks
Watchers

Imandra Contracts - Formal verification of smart contracts

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

minisat-ml

38
Stars
1
Forks
Watchers

Faithful reimplementation of Minisat 2.2 in OCaml.

verified publisher icon imandra-ai

ocaml-gcloud

25
Stars
4
Forks
Watchers

OCaml bindings to Google Cloud Platform APIs

verified publisher icon imandra-ai

ocaml-opentelemetry

32
Stars
6
Forks
Watchers

Instrumentation for https://opentelemetry.io

verified publisher icon imandra-ai

ocaml-tracy

25
Stars
0
Forks
Watchers

Bindings to the Tracy profiler.

verified publisher icon imandra-ai

reasonml-tic-tac-toe

19
Stars
1
Forks
Watchers

verified publisher icon imandra-ai

ocaml-cimgui

15
Stars
1
Forks
Watchers

[wip] bindings to Dear Imgui for OCaml.

verified publisher icon imandra-ai