Imandra

We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

London, Austin, Edinburgh
http://www.imandra.ai
contact@imandra.ai
Verified
We've verified that the organization AestheticIntegration controls the domains:
- www.imandra.ai
- imandra.ai
Learn more about verified organizations

ocaml-gcloud Public
OCaml bindings to Google Cloud Platform APIs

OCaml 20 4 0 0 Updated Oct 18, 2021
imandra-docs Public
Imandra Documentation

Jupyter Notebook 5 1 15 1 Updated Oct 18, 2021
notedown Public
Markdown <=> IPython Notebook

Jupyter Notebook 1 BSD-2-Clause 109 0 0 Updated Oct 18, 2021
z3 Public
private fork of z3

C++ 0 0 0 0 Updated Oct 15, 2021
ipl-ast Public

OCaml 0 0 0 0 Updated Oct 15, 2021
opam-repository Public
opam repository for AI

Makefile 5 0 0 0 Updated Oct 6, 2021
fix-engine Public
Imandra FIX Engine

OCaml 40 Apache-2.0 3 6 0 Updated Oct 5, 2021
aestheticintegration.github.io Public

HTML 0 1 0 2 Updated Sep 27, 2021
verified-react Public
Automated reasoning for React/ReasonML

OCaml 104 4 0 10 Updated Sep 21, 2021
bs-imandra-client Public
Imandra client in Bucklescript (via child process)

OCaml 4 0 0 8 Updated Sep 21, 2021

Popular repositories