Discover imandra-ai/contracts Open Source project

Stars
32
Rank 801,539 (Top 16 %)
Language
OCaml
License
Apache License 2.0
Created about 8 years ago
Updated about 8 years ago

imandra-ai

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Imandra Contracts - Formal verification of smart contracts

verified-react

Automated reasoning for React/ReasonML

fix-engine

minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

OCaml

ocaml-opentelemetry

Instrumentation for https://opentelemetry.io

OCaml

ocaml-tracy

Bindings to the Tracy profiler.

OCaml

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

ocaml-cimgui

[wip] bindings to Dear Imgui for OCaml.

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

OCaml

imandra-prelude

Extracted version of imandra's prelude

OCaml

ipl-examples

Imandra Protocol Language example models

batsmt

[wip] Modular SMT solver in rust

SMT

mhash

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

OCaml

catapult

Tracing library for OCaml with catapult/TEF export.

OCaml

ipl-vscode

Imandra Protocol Language VS Code Plugin

imandra-docs

Imandra Documentation

Jupyter Notebook

imandra-starter-template

Example layout for an Imandra project

OCaml

iex-auction-model

An Imandra model of the IEX Opening/Closing auction logic

OCaml

imandra-stdlib

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

Makefile

opam-repository

opam repository for AI

socket.io-client-ocaml

OCaml socket.io client

OCaml

imandrakit

Core utils library for Imandra

OCaml

imandra-examples

Imandra/IML examples

OCaml

bs-imandra-client

Imandra client in Bucklescript (via child process)

OCaml

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

OCaml

batrpc

RPC framework on top of protobuf.

OCaml

imandra-reason-parser

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

OCaml

ocyaml

OCaml bindings for libyaml

OCaml

cbor-pack

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

OCaml

ocaml-engineio-client

OCaml

ipl-spacemacs-layer

Emacs Lisp

batsmt-ocaml

OCaml bindings for batsmt

Rust

bs-jest-expect-imandra

Jest helpers for asserting against Imandra client responses

OCaml

imandra-vscode

VSCode extension for developing imandra

TypeScript

imandra-ptime

IML-compatible version of the Ptime library

OCaml

behavior-planning

Formally reasoning about autonomous vehicle behavior planning with Imandra

OCaml

imandra-http-api-client

Interact with Imandra via http from within OCaml.

OCaml

imandra-client-http-server

OCaml

tutorials

Imandra tutorials

pa_do

unofficial fork of pa_do

OCaml

verified-metitarski

Work on fully expansive verification of MetiTarski proofs

Standard ML

imandra-stats-experiments

Experiments combining Imandra with statistical or probabilistic models

Jupyter Notebook

imandra-mode

Emacs mode for Imandra

Emacs Lisp

abstract-transition-systems

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

OCaml

seating-planner

JavaScript

itr-ast

JavaScript

imandra-ast

Simple AST exportable from Imandra

OCaml

imandra-issues

Public repo for tracking issues/feature requests for Imandra

imandra-merlin

Merlin reader for imandra files

OCaml

regions-rl

Collection of examples for reinforcement learning

Jupyter Notebook

imandra-ai/contracts

imandra-ai

Reviews

Repository Details

More Repositories