imandra-ai Goto Github PK

abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

batrpc

RPC framework on top of protobuf.

batsmt

[wip] Modular SMT solver in rust

batsmt-ocaml

OCaml bindings for batsmt

behavior-planning

Formally reasoning about autonomous vehicle behavior planning with Imandra

bs-css

Statically typed DSL for writing css in reason.

bs-imandra-client

Imandra client in Bucklescript (via child process)

bs-jest-expect-imandra

Jest helpers for asserting against Imandra client responses

catapult

Tracing library for OCaml with catapult/TEF export.

cbor-pack

OCaml library + ppx for CBOR-pack: a serialization layer with sharing on top of CBOR

che

Eclipse Che: Next-generation Eclipse IDE. Open source workspace server and cloud IDE.

cme-mdp

Imandra Modelling Language CME MDP Model

contracts

Imandra Contracts - Formal verification of smart contracts

demo-smart-constructors

demo intended to show the power of smart constructors and private aliases in OCaml

dune

A composable build system for OCaml

fix-engine

Imandra FIX Engine

hmm_sampler

idfpy-vscode

IDF-Py VS Code Plugin

iex-auction-model

An Imandra model of the IEX Opening/Closing auction logic

imandra-ai.github.io

imandra-ast

Simple AST exportable from Imandra

imandra-client-http-server

imandra-docs

Imandra Documentation

imandra-document

imandra-examples

Imandra/IML examples

imandra-goals

Library for creating reports from Imandra verification goals

imandra-http-api-client

Interact with Imandra via http from within OCaml.

imandra-issues

Public repo for tracking issues/feature requests for Imandra

imandra-merlin

Merlin reader for imandra files

imandra-mode

Emacs mode for Imandra