We've verified that the organization imandra-ai controls the domains:
Automated reasoning for React/ReasonML
OCaml 107 4
Imandra FIX Engine
OCaml 44 3
Faithful reimplementation of Minisat 2.2 in OCaml.
OCaml 33 1
Imandra Contracts - Formal verification of smart contracts
OCaml 31 3
Instrumentation for https://opentelemetry.io
OCaml 23 2
OCaml bindings to Google Cloud Platform APIs
OCaml 20 4
Imandra client in Bucklescript (via child process)
Imandra Documentation
opam repository for AI
Extracted version of imandra's prelude
Simple AST exportable from Imandra
Tracing library for OCaml with catapult/TEF export.
Imandra Protocol Language example models
Loading…
