Discover imandra-ai/imandra-reason-parser Open Source project

Stars
3
Rank 3,963,521 (Top 79 %)
Language
OCaml
License
MIT License
Created over 6 years ago
Updated over 2 years ago

imandra-ai

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

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

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

contracts

Imandra Contracts - Formal verification of smart contracts

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

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/imandra-reason-parser

imandra-ai

Reviews

Repository Details

More Repositories