Imandra

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

London, Austin, Edinburgh

Pinned Repositories

contracts
Imandra Contracts - Formal verification of smart contracts
Language:OCaml32 19 03
fix-engine
Imandra FIX Engine
Language:OCaml52 16 383
imandra-ros
Imandra ROS
Language:OCaml17 15 00
minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
Language:OCaml38 9 11
ocaml-cimgui
[wip] bindings to Dear Imgui for OCaml.
Language:OCaml16 8 01
ocaml-gcloud
OCaml bindings to Google Cloud Platform APIs
Language:OCaml25 11 24
ocaml-opentelemetry
Instrumentation for https://opentelemetry.io
Language:OCaml36 12 208
ocaml-tracy
Bindings to the Tracy profiler.
Language:OCaml27 6 10
reasonml-tic-tac-toe
Language:Reason19 14 01
verified-react
Automated reasoning for React/ReasonML
Language:OCaml113 17 04

Imandra's Repositories

imandra-ai/fix-engine
Imandra FIX Engine
Language:OCaml52 16 383
imandra-ai/ocaml-opentelemetry
Instrumentation for https://opentelemetry.io
Language:OCaml36 12 208
imandra-ai/ocaml-tracy
Bindings to the Tracy profiler.
Language:OCaml27 6 10
imandra-ai/ocaml-gcloud
OCaml bindings to Google Cloud Platform APIs
Language:OCaml25 11 24
imandra-ai/imandra-prelude
Extracted version of imandra's prelude
Language:OCaml12 10 01
imandra-ai/ipl-examples
Imandra Protocol Language example models
11 13 11
imandra-ai/catapult
Tracing library for OCaml with catapult/TEF export.
Language:OCaml9 5 11
imandra-ai/ipl-vscode
Imandra Protocol Language VS Code Plugin
8 16 01
imandra-ai/imandra-docs
Imandra Documentation
Language:Jupyter Notebook7 11 254
imandra-ai/imandra-stdlib
Standard library for [Imandra](https://imandra.ai)
Language:Makefile5 10 10
imandra-ai/opam-repository
opam repository for AI
5 13 10
imandra-ai/imandrakit
Core utils library for Imandra
Language:OCaml4 8 1
imandra-ai/batrpc
RPC framework on top of protobuf.
Language:OCaml3 8 0
imandra-ai/cbor-pack
OCaml library + ppx for CBOR-pack: a serialization layer with sharing on top of CBOR
Language:OCaml3 5 3
imandra-ai/imandra-http-api-client
Interact with Imandra via http from within OCaml.
Language:OCaml2 10 11
imandra-ai/imandra-ptime
IML-compatible version of the Ptime library
Language:OCaml2 10 2
imandra-ai/itr-ast
Language:JavaScript1 9 70
imandra-ai/imandra-spacemacs-layer
Spacemacs layer for Imandra
Language:Emacs Lisp0 12 00
imandra-ai/ipl-ast
Language:OCaml0 11 00
imandra-ai/bs-css
Statically typed DSL for writing css in reason.
Language:ReScript1 0
imandra-ai/ieee-p3109
IEEE P3109 Floating-point arithmetic
Language:OCaml
imandra-ai/imandra-ai.github.io
Language:HTML13 01
imandra-ai/imandra-document
Language:OCaml11 0
imandra-ai/ipl-mode
IPL mode for emacs
Language:Emacs Lisp11 01
imandra-ai/jekyll-resources
Language:HTML12 2
imandra-ai/Logic-LLM
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
imandra-ai/melange-recharts
Language:Reason1 0
imandra-ai/ocaml-caqti
Cooperative-threaded access to relational data
Language:OCaml0 0
imandra-ai/tldrs
Trace and Log Daemon in Rust
Language:Rust10 0
imandra-ai/z3
private fork of z3
Language:C++7 0