Explore @imandra-ai Open Source projects

Imandra (@imandra-ai)

imandra-ai

Stars
568
Global Org. Rank 21,775 (Top 7 %)
Registered over 10 years ago
Most used languages

OCaml
71.4 %

Jupyter Notebook
8.2 %

JavaScript
4.1 %

Emacs Lisp
4.1 %

SMT 2.0 %

Makefile 2.0 %

Standard ML 2.0 %

Rust
2.0 %

Reason 2.0 %

TypeScript
2.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 2,617
Country Ranking

SMT 1

Reason 3

OCaml
9

Standard ML 19

Emacs Lisp
173

Makefile 270

Jupyter Notebook
869

Rust
1,179

TypeScript
4,709

verified-react

Automated reasoning for React/ReasonML

fix-engine

Imandra FIX Engine

minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

contracts

Imandra Contracts - Formal verification of smart contracts

ocaml-opentelemetry

Instrumentation for https://opentelemetry.io

ocaml-tracy

Bindings to the Tracy profiler.

ocaml-gcloud

OCaml bindings to Google Cloud Platform APIs

reasonml-tic-tac-toe

imandra-ros

vega-lite

OCaml library to produce vega-lite visualizations (as json objects)

ocaml-cimgui

[wip] bindings to Dear Imgui for OCaml.

cme-mdp

Imandra Modelling Language CME MDP Model

Jupyter Notebook

ocaml-pltp

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover

imandra-prelude

Extracted version of imandra's prelude

ipl-examples

Imandra Protocol Language example models

batsmt

[wip] Modular SMT solver in rust

catapult

Tracing library for OCaml with catapult/TEF export.

mhash

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

ipl-vscode

Imandra Protocol Language VS Code Plugin

imandra-docs

Imandra Documentation

Jupyter Notebook

imandra-starter-template

Example layout for an Imandra project

iex-auction-model

An Imandra model of the IEX Opening/Closing auction logic

imandra-stdlib

Standard library for [Imandra](https://imandra.ai)

opam-repository

opam repository for AI

socket.io-client-ocaml

OCaml socket.io client

imandrakit

Core utils library for Imandra

imandra-examples

Imandra/IML examples

bs-imandra-client

Imandra client in Bucklescript (via child process)

iml-vscode

location of the vsix file for the iml-vscode (imandra IDE) plugin

demo-smart-constructors

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

batrpc

RPC framework on top of protobuf.

imandra-reason-parser

Reason parser for Imandra (fork of reason's parser)

ocyaml

OCaml bindings for libyaml

ocaml-engineio-client

ipl-spacemacs-layer

batsmt-ocaml

OCaml bindings for batsmt

bs-jest-expect-imandra

Jest helpers for asserting against Imandra client responses

imandra-vscode

VSCode extension for developing imandra

behavior-planning

Formally reasoning about autonomous vehicle behavior planning with Imandra

imandra-http-api-client

Interact with Imandra via http from within OCaml.

cbor-pack

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

imandra-client-http-server

tutorials

Imandra tutorials

pa_do

unofficial fork of pa_do

imandra-ptime

IML-compatible version of the Ptime library

verified-metitarski

Work on fully expansive verification of MetiTarski proofs

imandra-stats-experiments

Experiments combining Imandra with statistical or probabilistic models

Jupyter Notebook

imandra-issues

Public repo for tracking issues/feature requests for Imandra

abstract-transition-systems

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

imandra-mode

Emacs mode for Imandra

seating-planner

itr-ast

imandra-ast

Simple AST exportable from Imandra

imandra-merlin

Merlin reader for imandra files

regions-rl

Collection of examples for reinforcement learning

Jupyter Notebook